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.
- package/LICENSE +1 -1
- package/README.en.md +51 -19
- package/README.md +51 -19
- package/builtin/README.md +22 -0
- package/builtin/skills/mattpocock/LICENSE +21 -0
- package/builtin/skills/mattpocock/UPSTREAM.md +11 -0
- package/builtin/skills/mattpocock/distribution.json +352 -0
- package/builtin/skills/mattpocock/skills/ask-matt/PHASE-BOUNDARIES.md +55 -0
- package/builtin/skills/mattpocock/skills/ask-matt/SKILL.md +97 -0
- package/builtin/skills/mattpocock/skills/ask-matt/agents/openai.yaml +5 -0
- package/builtin/skills/mattpocock/skills/code-review/SKILL.md +89 -0
- package/builtin/skills/mattpocock/skills/code-review/agents/openai.yaml +3 -0
- package/builtin/skills/mattpocock/skills/codebase-design/DEEPENING.md +37 -0
- package/builtin/skills/mattpocock/skills/codebase-design/DESIGN-IT-TWICE.md +44 -0
- package/builtin/skills/mattpocock/skills/codebase-design/SKILL.md +114 -0
- package/builtin/skills/mattpocock/skills/codebase-design/agents/openai.yaml +3 -0
- package/builtin/skills/mattpocock/skills/diagnosing-bugs/SKILL.md +138 -0
- package/builtin/skills/mattpocock/skills/diagnosing-bugs/agents/openai.yaml +3 -0
- package/builtin/skills/mattpocock/skills/diagnosing-bugs/scripts/hitl-loop.template.sh +44 -0
- package/builtin/skills/mattpocock/skills/domain-modeling/ADR-FORMAT.md +47 -0
- package/builtin/skills/mattpocock/skills/domain-modeling/GLOSSARY-FORMAT.md +60 -0
- package/builtin/skills/mattpocock/skills/domain-modeling/SKILL.md +74 -0
- package/builtin/skills/mattpocock/skills/domain-modeling/agents/openai.yaml +3 -0
- package/builtin/skills/mattpocock/skills/grill-me/SKILL.md +7 -0
- package/builtin/skills/mattpocock/skills/grill-me/agents/openai.yaml +5 -0
- package/builtin/skills/mattpocock/skills/grill-with-docs/SKILL.md +7 -0
- package/builtin/skills/mattpocock/skills/grill-with-docs/agents/openai.yaml +5 -0
- package/builtin/skills/mattpocock/skills/grilling/SKILL.md +30 -0
- package/builtin/skills/mattpocock/skills/grilling/agents/openai.yaml +3 -0
- package/builtin/skills/mattpocock/skills/handoff/SKILL.md +16 -0
- package/builtin/skills/mattpocock/skills/handoff/agents/openai.yaml +5 -0
- package/builtin/skills/mattpocock/skills/implement/SKILL.md +17 -0
- package/builtin/skills/mattpocock/skills/implement/agents/openai.yaml +5 -0
- package/builtin/skills/mattpocock/skills/implement-spec/SKILL.md +42 -0
- package/builtin/skills/mattpocock/skills/implement-spec/agents/openai.yaml +5 -0
- package/builtin/skills/mattpocock/skills/improve-codebase-architecture/HTML-REPORT.md +123 -0
- package/builtin/skills/mattpocock/skills/improve-codebase-architecture/SKILL.md +71 -0
- package/builtin/skills/mattpocock/skills/improve-codebase-architecture/agents/openai.yaml +5 -0
- package/builtin/skills/mattpocock/skills/pr/CREDITS.md +3 -0
- package/builtin/skills/mattpocock/skills/pr/SKILL.md +170 -0
- package/builtin/skills/mattpocock/skills/pr/agents/openai.yaml +3 -0
- package/builtin/skills/mattpocock/skills/prototype/LOGIC.md +67 -0
- package/builtin/skills/mattpocock/skills/prototype/SKILL.md +26 -0
- package/builtin/skills/mattpocock/skills/prototype/UI.md +112 -0
- package/builtin/skills/mattpocock/skills/prototype/agents/openai.yaml +3 -0
- package/builtin/skills/mattpocock/skills/research/SKILL.md +12 -0
- package/builtin/skills/mattpocock/skills/research/agents/openai.yaml +3 -0
- package/builtin/skills/mattpocock/skills/retro/SKILL.md +44 -0
- package/builtin/skills/mattpocock/skills/retro/agents/openai.yaml +5 -0
- package/builtin/skills/mattpocock/skills/setup-matt-pocock-skills/SKILL.md +120 -0
- package/builtin/skills/mattpocock/skills/setup-matt-pocock-skills/agents/openai.yaml +5 -0
- package/builtin/skills/mattpocock/skills/setup-matt-pocock-skills/domain.md +51 -0
- package/builtin/skills/mattpocock/skills/setup-matt-pocock-skills/issue-tracker-github.md +50 -0
- package/builtin/skills/mattpocock/skills/setup-matt-pocock-skills/issue-tracker-gitlab.md +46 -0
- package/builtin/skills/mattpocock/skills/setup-matt-pocock-skills/issue-tracker-local.md +30 -0
- package/builtin/skills/mattpocock/skills/setup-matt-pocock-skills/triage-labels.md +15 -0
- package/builtin/skills/mattpocock/skills/tdd/SKILL.md +38 -0
- package/builtin/skills/mattpocock/skills/tdd/agents/openai.yaml +3 -0
- package/builtin/skills/mattpocock/skills/tdd/mocking.md +59 -0
- package/builtin/skills/mattpocock/skills/tdd/tests.md +77 -0
- package/builtin/skills/mattpocock/skills/teach/GLOSSARY-FORMAT.md +35 -0
- package/builtin/skills/mattpocock/skills/teach/LEARNING-RECORD-FORMAT.md +46 -0
- package/builtin/skills/mattpocock/skills/teach/MISSION-FORMAT.md +31 -0
- package/builtin/skills/mattpocock/skills/teach/RESOURCES-FORMAT.md +32 -0
- package/builtin/skills/mattpocock/skills/teach/SKILL.md +140 -0
- package/builtin/skills/mattpocock/skills/teach/agents/openai.yaml +5 -0
- package/builtin/skills/mattpocock/skills/to-questionnaire/SKILL.md +54 -0
- package/builtin/skills/mattpocock/skills/to-questionnaire/agents/openai.yaml +5 -0
- package/builtin/skills/mattpocock/skills/to-spec/SKILL.md +75 -0
- package/builtin/skills/mattpocock/skills/to-spec/agents/openai.yaml +5 -0
- package/builtin/skills/mattpocock/skills/to-tickets/SKILL.md +105 -0
- package/builtin/skills/mattpocock/skills/to-tickets/agents/openai.yaml +5 -0
- package/builtin/skills/mattpocock/skills/triage/AGENT-BRIEF.md +207 -0
- package/builtin/skills/mattpocock/skills/triage/OUT-OF-SCOPE.md +105 -0
- package/builtin/skills/mattpocock/skills/triage/SKILL.md +112 -0
- package/builtin/skills/mattpocock/skills/triage/agents/openai.yaml +5 -0
- package/builtin/skills/mattpocock/skills/wait-what/SKILL.md +7 -0
- package/builtin/skills/mattpocock/skills/wait-what/agents/openai.yaml +5 -0
- package/builtin/skills/mattpocock/skills/wayfinder/SKILL.md +128 -0
- package/builtin/skills/mattpocock/skills/wayfinder/agents/openai.yaml +5 -0
- package/builtin/skills/mattpocock/skills/wizard/SKILL.md +44 -0
- package/builtin/skills/mattpocock/skills/wizard/agents/openai.yaml +3 -0
- package/builtin/skills/mattpocock/skills/wizard/template.sh +223 -0
- package/builtin/skills/mattpocock/skills/writing-for-agents/SKILL-MECHANICS.md +22 -0
- package/builtin/skills/mattpocock/skills/writing-for-agents/SKILL.md +81 -0
- package/builtin/skills/mattpocock/skills/writing-for-agents/agents/openai.yaml +3 -0
- package/builtin/skills/oil-ui/LICENSE +21 -0
- package/builtin/skills/oil-ui/SKILL.md +163 -0
- package/builtin/skills/oil-ui/UPSTREAM.md +14 -0
- package/builtin/skills/oil-ui/assets/fonts/instrument-serif/InstrumentSerif-Regular.ttf +0 -0
- package/builtin/skills/oil-ui/assets/fonts/instrument-serif/OFL.txt +93 -0
- package/builtin/skills/oil-ui/assets/logo.png +0 -0
- package/builtin/skills/oil-ui/assets/style-explorer.html +433 -0
- package/builtin/skills/oil-ui/distribution.json +5 -0
- package/builtin/skills/oil-ui/references/design-direction.md +233 -0
- package/builtin/skills/oil-ui/references/direction-persuasion.md +25 -0
- package/builtin/skills/oil-ui/references/image-ideation.md +130 -0
- package/builtin/skills/oil-ui/references/layout-and-viewport.md +24 -0
- package/builtin/skills/oil-ui/references/media.md +158 -0
- package/builtin/skills/oil-ui/references/motion.md +123 -0
- package/builtin/skills/oil-ui/references/play.md +29 -0
- package/builtin/skills/oil-ui/references/reviewer-manual.md +73 -0
- package/builtin/skills/oil-ui/references/scroll-narrative.md +97 -0
- package/builtin/skills/oil-ui/references/style-explorer.md +48 -0
- package/builtin/skills/oil-ui/references/task-explore.md +28 -0
- package/builtin/skills/oil-ui/references/task-review.md +8 -0
- package/builtin/skills/oil-ui/references/tools.md +75 -0
- package/builtin/skills/oil-ui/references/ux-review.md +23 -0
- package/builtin/skills/oil-ui/references/ux-reviewer.md +10 -0
- package/builtin/skills/oil-ui/references/visual-language.md +103 -0
- package/builtin/skills/oil-ui/references/visual-review.md +35 -0
- package/builtin/skills/oil-ui/references/workdir.md +64 -0
- package/builtin/skills/oil-ui/scripts/build_explorer.py +958 -0
- package/builtin/skills/oil-ui/scripts/chrome.mjs +115 -0
- package/builtin/skills/oil-ui/scripts/curate-media.mjs +726 -0
- package/builtin/skills/oil-ui/scripts/measure_reference.py +543 -0
- package/builtin/skills/oil-ui/scripts/oiloil-image.mjs +388 -0
- package/builtin/skills/oil-ui/scripts/prep-image.mjs +287 -0
- package/builtin/skills/oil-ui/scripts/recommend_once.py +65 -0
- package/builtin/skills/oil-ui/scripts/shoot.mjs +2067 -0
- package/builtin/skills/openspec/LICENSE +22 -0
- package/builtin/skills/openspec/UPSTREAM.md +11 -0
- package/builtin/skills/openspec/distribution.json +73 -0
- package/builtin/skills/openspec/skills/README.md +19 -0
- package/builtin/skills/openspec/skills/openspec-apply-change/SKILL.md +205 -0
- package/builtin/skills/openspec/skills/openspec-archive-change/SKILL.md +220 -0
- package/builtin/skills/openspec/skills/openspec-bulk-archive-change/SKILL.md +376 -0
- package/builtin/skills/openspec/skills/openspec-continue-change/SKILL.md +137 -0
- package/builtin/skills/openspec/skills/openspec-explore/SKILL.md +355 -0
- package/builtin/skills/openspec/skills/openspec-ff-change/SKILL.md +128 -0
- package/builtin/skills/openspec/skills/openspec-new-change/SKILL.md +87 -0
- package/builtin/skills/openspec/skills/openspec-onboard/SKILL.md +574 -0
- package/builtin/skills/openspec/skills/openspec-propose/SKILL.md +174 -0
- package/builtin/skills/openspec/skills/openspec-sync-specs/SKILL.md +289 -0
- package/builtin/skills/openspec/skills/openspec-update-change/SKILL.md +108 -0
- package/builtin/skills/openspec/skills/openspec-verify-change/SKILL.md +222 -0
- package/builtin/skills/pstack/LICENSE +21 -0
- package/builtin/skills/pstack/UPSTREAM.md +17 -0
- package/builtin/skills/pstack/distribution.json +2299 -0
- package/builtin/skills/pstack/dsh/DSH.md +59 -0
- package/builtin/skills/pstack/dsh/LICENSE +21 -0
- package/builtin/skills/pstack/dsh/README.md +9 -0
- package/builtin/skills/pstack/dsh/adaptation.json +2930 -0
- package/builtin/skills/pstack/dsh/agents/comment-sicko.md +32 -0
- package/builtin/skills/pstack/dsh/agents/poteto-agent.md +5 -0
- package/builtin/skills/pstack/dsh/assets/logo.png +0 -0
- package/builtin/skills/pstack/dsh/authoring.md +7 -0
- package/builtin/skills/pstack/dsh/docs/guide/01-setup.md +68 -0
- package/builtin/skills/pstack/dsh/docs/guide/02-poteto-mode.md +141 -0
- package/builtin/skills/pstack/dsh/docs/guide/03-understand.md +81 -0
- package/builtin/skills/pstack/dsh/docs/guide/04-design.md +135 -0
- package/builtin/skills/pstack/dsh/docs/guide/05-build-and-clean.md +85 -0
- package/builtin/skills/pstack/dsh/docs/guide/06-verify-and-ship.md +164 -0
- package/builtin/skills/pstack/dsh/docs/guide/07-overnight.md +124 -0
- package/builtin/skills/pstack/dsh/docs/guide/08-principles.md +74 -0
- package/builtin/skills/pstack/dsh/docs/guide/09-make-it-yours.md +102 -0
- package/builtin/skills/pstack/dsh/docs/guide/10-recipes-and-pitfalls.md +184 -0
- package/builtin/skills/pstack/dsh/docs/guide/README.md +40 -0
- package/builtin/skills/pstack/dsh/docs/guide/images/design.jpg +0 -0
- package/builtin/skills/pstack/dsh/docs/guide/images/overnight.jpg +0 -0
- package/builtin/skills/pstack/dsh/docs/guide/images/recipes.jpg +0 -0
- package/builtin/skills/pstack/dsh/docs/guide/images/router.jpg +0 -0
- package/builtin/skills/pstack/dsh/docs/guide/images/understanding.jpg +0 -0
- package/builtin/skills/pstack/dsh/docs/guide/images/verification.jpg +0 -0
- package/builtin/skills/pstack/dsh/docs/harness/claude-code.md +69 -0
- package/builtin/skills/pstack/dsh/scripts/capture.mjs +80 -0
- package/builtin/skills/pstack/dsh/skills/architect/SKILL.md +82 -0
- package/builtin/skills/pstack/dsh/skills/architect/references/design-red-flags.md +57 -0
- package/builtin/skills/pstack/dsh/skills/architect/references/rationale-template.md +35 -0
- package/builtin/skills/pstack/dsh/skills/architect/references/runner-prompt.md +20 -0
- package/builtin/skills/pstack/dsh/skills/arena/SKILL.md +51 -0
- package/builtin/skills/pstack/dsh/skills/automate-me/SKILL.md +19 -0
- package/builtin/skills/pstack/dsh/skills/benchmark-checklist/SKILL.md +42 -0
- package/builtin/skills/pstack/dsh/skills/blast-radius/SKILL.md +53 -0
- package/builtin/skills/pstack/dsh/skills/bro/SKILL.md +10 -0
- package/builtin/skills/pstack/dsh/skills/correct/SKILL.md +35 -0
- package/builtin/skills/pstack/dsh/skills/create-formal-verification-skill/SKILL.md +46 -0
- package/builtin/skills/pstack/dsh/skills/create-verification-skill/SKILL.md +47 -0
- package/builtin/skills/pstack/dsh/skills/create-verification-skill/references/feature-map-example/README.md +47 -0
- package/builtin/skills/pstack/dsh/skills/create-verification-skill/references/feature-map-example/create-note.md +39 -0
- package/builtin/skills/pstack/dsh/skills/create-verification-skill/references/feature-map-example/search.md +45 -0
- package/builtin/skills/pstack/dsh/skills/figure-it-out/SKILL.md +55 -0
- package/builtin/skills/pstack/dsh/skills/how/SKILL.md +39 -0
- package/builtin/skills/pstack/dsh/skills/how/references/explainer-prompt.md +55 -0
- package/builtin/skills/pstack/dsh/skills/how/references/explorer-prompt.md +35 -0
- package/builtin/skills/pstack/dsh/skills/in-your-own-words/SKILL.md +10 -0
- package/builtin/skills/pstack/dsh/skills/interrogate/SKILL.md +34 -0
- package/builtin/skills/pstack/dsh/skills/ketchup/SKILL.md +46 -0
- package/builtin/skills/pstack/dsh/skills/ketchup-video/SKILL.md +32 -0
- package/builtin/skills/pstack/dsh/skills/maintain-formal-verification-skill/SKILL.md +61 -0
- package/builtin/skills/pstack/dsh/skills/maintain-verification-skill/SKILL.md +42 -0
- package/builtin/skills/pstack/dsh/skills/make-bot-ui/SKILL.md +22 -0
- package/builtin/skills/pstack/dsh/skills/make-bot-ui/references/submissions.md +44 -0
- package/builtin/skills/pstack/dsh/skills/make-bot-ui/scripts/submissions.mjs +86 -0
- package/builtin/skills/pstack/dsh/skills/no-comments/SKILL.md +27 -0
- package/builtin/skills/pstack/dsh/skills/poteto-help/SKILL.md +42 -0
- package/builtin/skills/pstack/dsh/skills/poteto-help/references/prompting.md +51 -0
- package/builtin/skills/pstack/dsh/skills/poteto-help/references/recipes.md +51 -0
- package/builtin/skills/pstack/dsh/skills/poteto-mode/SKILL.md +153 -0
- package/builtin/skills/pstack/dsh/skills/poteto-mode/playbooks/authoring-a-skill.md +8 -0
- package/builtin/skills/pstack/dsh/skills/poteto-mode/playbooks/autonomous-run.md +12 -0
- package/builtin/skills/pstack/dsh/skills/poteto-mode/playbooks/autopilot-full.md +25 -0
- package/builtin/skills/pstack/dsh/skills/poteto-mode/playbooks/autopilot-stack.md +8 -0
- package/builtin/skills/pstack/dsh/skills/poteto-mode/playbooks/babysit.md +23 -0
- package/builtin/skills/pstack/dsh/skills/poteto-mode/playbooks/bug-fix.md +15 -0
- package/builtin/skills/pstack/dsh/skills/poteto-mode/playbooks/eval.md +25 -0
- package/builtin/skills/pstack/dsh/skills/poteto-mode/playbooks/feature.md +21 -0
- package/builtin/skills/pstack/dsh/skills/poteto-mode/playbooks/hillclimb.md +21 -0
- package/builtin/skills/pstack/dsh/skills/poteto-mode/playbooks/investigation.md +14 -0
- package/builtin/skills/pstack/dsh/skills/poteto-mode/playbooks/multi-phase-plan.md +155 -0
- package/builtin/skills/pstack/dsh/skills/poteto-mode/playbooks/opening-a-pr.md +34 -0
- package/builtin/skills/pstack/dsh/skills/poteto-mode/playbooks/orchestrate.md +14 -0
- package/builtin/skills/pstack/dsh/skills/poteto-mode/playbooks/pause-safely.md +8 -0
- package/builtin/skills/pstack/dsh/skills/poteto-mode/playbooks/perf-issue.md +25 -0
- package/builtin/skills/pstack/dsh/skills/poteto-mode/playbooks/prototype.md +14 -0
- package/builtin/skills/pstack/dsh/skills/poteto-mode/playbooks/refactoring.md +16 -0
- package/builtin/skills/pstack/dsh/skills/poteto-mode/playbooks/runtime-forensics.md +11 -0
- package/builtin/skills/pstack/dsh/skills/poteto-mode/playbooks/session-pickup.md +9 -0
- package/builtin/skills/pstack/dsh/skills/poteto-mode/playbooks/shipping.md +12 -0
- package/builtin/skills/pstack/dsh/skills/poteto-mode/playbooks/trace-forensics.md +14 -0
- package/builtin/skills/pstack/dsh/skills/poteto-mode/playbooks/visual-parity.md +11 -0
- package/builtin/skills/pstack/dsh/skills/poteto-mode/playbooks/worktree-cleanup.md +9 -0
- package/builtin/skills/pstack/dsh/skills/poteto-mode/references/bugbot-triage.md +142 -0
- package/builtin/skills/pstack/dsh/skills/poteto-mode/scripts/bootstrap.ts +62 -0
- package/builtin/skills/pstack/dsh/skills/poteto-mode/scripts/bun.lock +67 -0
- package/builtin/skills/pstack/dsh/skills/poteto-mode/scripts/check-plan.mjs +205 -0
- package/builtin/skills/pstack/dsh/skills/poteto-mode/scripts/check-plan.test.ts +110 -0
- package/builtin/skills/pstack/dsh/skills/poteto-mode/scripts/package.json +16 -0
- package/builtin/skills/pstack/dsh/skills/poteto-mode/scripts/watch-pr/cli.test.ts +224 -0
- package/builtin/skills/pstack/dsh/skills/poteto-mode/scripts/watch-pr/cli.ts +223 -0
- package/builtin/skills/pstack/dsh/skills/poteto-mode/scripts/watch-pr/fakes.test-helper.ts +129 -0
- package/builtin/skills/pstack/dsh/skills/poteto-mode/scripts/watch-pr/github.test.ts +498 -0
- package/builtin/skills/pstack/dsh/skills/poteto-mode/scripts/watch-pr/github.ts +726 -0
- package/builtin/skills/pstack/dsh/skills/poteto-mode/scripts/watch-pr/policy.test.ts +482 -0
- package/builtin/skills/pstack/dsh/skills/poteto-mode/scripts/watch-pr/policy.ts +842 -0
- package/builtin/skills/pstack/dsh/skills/poteto-mode/scripts/watch-pr/render.ts +169 -0
- package/builtin/skills/pstack/dsh/skills/poteto-mode/scripts/watch-pr/tsconfig.json +13 -0
- package/builtin/skills/pstack/dsh/skills/poteto-mode/scripts/watch-pr/types.compile.ts +93 -0
- package/builtin/skills/pstack/dsh/skills/poteto-mode/scripts/watch-pr/types.ts +414 -0
- package/builtin/skills/pstack/dsh/skills/poteto-mode/scripts/watch-pr/watch-pr +6 -0
- package/builtin/skills/pstack/dsh/skills/poteto-mode/scripts/worktree-audit.mjs +52 -0
- package/builtin/skills/pstack/dsh/skills/poteto-mode/scripts/worktree-audit.sh +4 -0
- package/builtin/skills/pstack/dsh/skills/principle-attack-the-premise/SKILL.md +24 -0
- package/builtin/skills/pstack/dsh/skills/principle-boundary-discipline/SKILL.md +37 -0
- package/builtin/skills/pstack/dsh/skills/principle-build-the-lever/SKILL.md +26 -0
- package/builtin/skills/pstack/dsh/skills/principle-encode-lessons-in-structure/SKILL.md +14 -0
- package/builtin/skills/pstack/dsh/skills/principle-exhaust-the-design-space/SKILL.md +12 -0
- package/builtin/skills/pstack/dsh/skills/principle-experience-first/SKILL.md +22 -0
- package/builtin/skills/pstack/dsh/skills/principle-explain-the-number/SKILL.md +21 -0
- package/builtin/skills/pstack/dsh/skills/principle-fix-root-causes/SKILL.md +24 -0
- package/builtin/skills/pstack/dsh/skills/principle-foundational-thinking/SKILL.md +24 -0
- package/builtin/skills/pstack/dsh/skills/principle-guard-the-context-window/SKILL.md +15 -0
- package/builtin/skills/pstack/dsh/skills/principle-laziness-protocol/SKILL.md +13 -0
- package/builtin/skills/pstack/dsh/skills/principle-make-operations-idempotent/SKILL.md +25 -0
- package/builtin/skills/pstack/dsh/skills/principle-migrate-callers-then-delete-legacy-apis/SKILL.md +17 -0
- package/builtin/skills/pstack/dsh/skills/principle-minimize-reader-load/SKILL.md +21 -0
- package/builtin/skills/pstack/dsh/skills/principle-model-the-domain/SKILL.md +27 -0
- package/builtin/skills/pstack/dsh/skills/principle-never-block-on-the-human/SKILL.md +18 -0
- package/builtin/skills/pstack/dsh/skills/principle-outcome-oriented-execution/SKILL.md +24 -0
- package/builtin/skills/pstack/dsh/skills/principle-prove-it-works/SKILL.md +25 -0
- package/builtin/skills/pstack/dsh/skills/principle-redesign-from-first-principles/SKILL.md +19 -0
- package/builtin/skills/pstack/dsh/skills/principle-separate-before-serializing-shared-state/SKILL.md +19 -0
- package/builtin/skills/pstack/dsh/skills/principle-sequence-verifiable-units/SKILL.md +20 -0
- package/builtin/skills/pstack/dsh/skills/principle-subtract-before-you-add/SKILL.md +21 -0
- package/builtin/skills/pstack/dsh/skills/principle-test-behavior-not-implementation/SKILL.md +23 -0
- package/builtin/skills/pstack/dsh/skills/principle-type-system-discipline/SKILL.md +16 -0
- package/builtin/skills/pstack/dsh/skills/recall/SKILL.md +19 -0
- package/builtin/skills/pstack/dsh/skills/reflect/SKILL.md +19 -0
- package/builtin/skills/pstack/dsh/skills/reflect/references/divergent-reviewer.md +38 -0
- package/builtin/skills/pstack/dsh/skills/reflect/references/judgment-reviewer.md +37 -0
- package/builtin/skills/pstack/dsh/skills/reflect/references/synthesizer.md +56 -0
- package/builtin/skills/pstack/dsh/skills/reflect/references/tooling-reviewer.md +48 -0
- package/builtin/skills/pstack/dsh/skills/setup-pstack/SKILL.md +80 -0
- package/builtin/skills/pstack/dsh/skills/sharpen/SKILL.md +19 -0
- package/builtin/skills/pstack/dsh/skills/show-me-your-work/SKILL.md +85 -0
- package/builtin/skills/pstack/dsh/skills/show-me-your-work/references/decision-log-template.tsv +1 -0
- package/builtin/skills/pstack/dsh/skills/show-me-your-work/scripts/audit-log.mjs +43 -0
- package/builtin/skills/pstack/dsh/skills/show-me-your-work/scripts/log.sh +42 -0
- package/builtin/skills/pstack/dsh/skills/statechart/SKILL.md +85 -0
- package/builtin/skills/pstack/dsh/skills/statechart/references/render.md +93 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/backends/cfg.mjs +31 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/backends/cfg.ts +33 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/backends/mermaid.mjs +223 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/backends/mermaid.ts +201 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/backends/plain-text.mjs +68 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/backends/plain-text.ts +72 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/backends/report.mjs +123 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/backends/report.ts +177 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/frontends/config.mjs +258 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/frontends/config.ts +276 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/frontends/dot.mjs +68 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/frontends/dot.ts +74 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/frontends/marks.mjs +102 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/frontends/marks.ts +93 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/frontends/messages.mjs +53 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/frontends/messages.ts +52 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/frontends/spec.mjs +89 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/frontends/spec.ts +114 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/frontends/trace.mjs +24 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/frontends/trace.ts +24 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/frontends/value.mjs +181 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/frontends/value.ts +166 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/frontends/verdict.mjs +38 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/frontends/verdict.ts +40 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/frontends/view.mjs +107 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/frontends/view.ts +119 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/ir.mjs +317 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/ir.ts +547 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/package.json +11 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/passes/annotate.mjs +102 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/passes/annotate.ts +128 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/passes/label.mjs +217 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/passes/label.ts +269 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/passes/lift.mjs +89 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/passes/lift.ts +85 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/passes/loop-check.mjs +57 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/passes/loop-check.ts +68 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/passes/paths.mjs +50 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/passes/paths.ts +60 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/passes/reach.mjs +134 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/passes/reach.ts +135 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/passes/region-check.mjs +94 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/passes/region-check.ts +97 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/passes/regions.mjs +296 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/passes/regions.ts +295 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/pipeline.mjs +63 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/pipeline.ts +76 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/run.mjs +432 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/run.ts +481 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/statechart +29 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/statechart.mjs +149 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/statechart.ts +164 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/ConfigOracle.java +63 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/chart.test.ts +1210 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/charts/Braces.mmd +7 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/charts/Escapes.mmd +11 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/charts/Phases.mmd +29 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/cli.test.ts +1314 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/config-fuzz.test.ts +263 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/Counter/ChartRun.out +57 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/Counter/Counter.cfg +3 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/Counter/Counter.tla +10 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/Counter/chart.mmd +9 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/Counter/graph.dot +16 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/Counter/report.md +7 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/Counter/sany.out +2 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/Counter/verdict-1.out +49 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterAction/ChartRun.out +60 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterAction/CounterAction.cfg +4 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterAction/CounterAction.tla +22 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterAction/chart.mmd +26 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterAction/graph.dot +19 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterAction/report.md +20 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterAction/sany.out +2 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterAction/verdict-1.exit +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterAction/verdict-1.out +56 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterAction/verdict-2.exit +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterAction/verdict-2.out +82 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterAction/verdict-3.out +57 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterDeadlock/ChartRun.out +59 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterDeadlock/CounterDeadlock.cfg +3 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterDeadlock/CounterDeadlock.tla +11 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterDeadlock/chart.mmd +22 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterDeadlock/graph.dot +16 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterDeadlock/report.md +17 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterDeadlock/sany.out +2 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterDeadlock/verdict-1.exit +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterDeadlock/verdict-1.out +56 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterDeadlock/verdict-2.exit +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterDeadlock/verdict-2.out +77 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterFan/ChartRun.out +69 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterFan/CounterFan.cfg +2 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterFan/CounterFan.tla +11 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterFan/chart.mmd +85 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterFan/graph.dot +70 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterFan/report.md +12 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterFan/sany.out +2 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterFan/verdict-1.exit +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterFan/verdict-1.out +67 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterFan/verdict-2.out +57 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterGuard/ChartRun.exit +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterGuard/ChartRun.out +85 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterGuard/CounterGuard.cfg +6 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterGuard/CounterGuard.tla +13 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterGuard/chart.mmd +5 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterGuard/graph.dot +10 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterGuard/report.md +31 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterGuard/sany.out +2 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterGuard/verdict-1.exit +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterGuard/verdict-1.out +64 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterGuard/verdict-2.exit +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterGuard/verdict-2.out +77 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterInitPast/ChartRun.out +55 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterInitPast/CounterInitPast.cfg +3 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterInitPast/CounterInitPast.tla +10 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterInitPast/chart.mmd +12 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterInitPast/graph.dot +6 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterInitPast/report.md +12 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterInitPast/sany.out +2 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterInitPast/verdict-1.exit +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterInitPast/verdict-1.out +33 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterInitPast/verdict-2.out +54 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterInitPastHolds/ChartRun.out +54 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterInitPastHolds/CounterInitPastHolds.cfg +3 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterInitPastHolds/CounterInitPastHolds.tla +10 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterInitPastHolds/chart.mmd +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterInitPastHolds/graph.dot +6 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterInitPastHolds/report.md +7 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterInitPastHolds/sany.out +2 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterInitPastHolds/verdict-1.out +46 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterInstance/ChartRun.out +59 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterInstance/CounterInstance.cfg +2 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterInstance/CounterInstance.tla +10 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterInstance/CounterSteps.tla +6 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterInstance/chart.mmd +17 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterInstance/graph.dot +15 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterInstance/report.md +14 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterInstance/sany.out +3 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterInstance/verdict-1.exit +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterInstance/verdict-1.out +78 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterJump/ChartRun.out +59 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterJump/CounterJump.cfg +3 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterJump/CounterJump.tla +19 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterJump/chart.mmd +26 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterJump/graph.dot +22 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterJump/report.md +12 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterJump/sany.out +2 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterJump/verdict-1.exit +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterJump/verdict-1.out +58 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterJump/verdict-2.out +57 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterLoop/ChartRun.out +57 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterLoop/CounterLoop.cfg +2 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterLoop/CounterLoop.tla +11 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterLoop/chart.mmd +17 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterLoop/graph.dot +15 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterLoop/report.md +14 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterLoop/sany.out +2 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterLoop/verdict-1.exit +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterLoop/verdict-1.out +76 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterOrder/ChartRun.out +59 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterOrder/CounterOrder.cfg +3 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterOrder/CounterOrder.tla +11 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterOrder/chart.mmd +19 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterOrder/graph.dot +10 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterOrder/report.md +15 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterOrder/sany.out +2 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterOrder/verdict-1.exit +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterOrder/verdict-1.out +56 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterOrder/verdict-2.exit +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterOrder/verdict-2.out +67 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterRules/ChartRun.out +62 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterRules/CounterRules.cfg +6 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterRules/CounterRules.tla +24 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterRules/Moves.tla +5 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterRules/chart.mmd +22 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterRules/graph.dot +10 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterRules/report.md +23 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterRules/sany.out +3 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterRules/verdict-1.exit +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterRules/verdict-1.out +58 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterRules/verdict-2.exit +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterRules/verdict-2.out +66 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterRules/verdict-3.exit +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterRules/verdict-3.out +74 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterRules/verdict-4.out +59 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterStart/ChartRun.out +58 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterStart/CounterStart.cfg +3 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterStart/CounterStart.tla +15 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterStart/chart.mmd +18 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterStart/graph.dot +13 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterStart/report.md +11 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterStart/sany.out +2 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterStart/verdict-1.exit +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterStart/verdict-1.out +33 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterStart/verdict-2.out +57 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterStop/ChartRun.out +57 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterStop/CounterStop.cfg +3 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterStop/CounterStop.tla +15 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterStop/chart.mmd +7 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterStop/graph.dot +13 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterStop/report.md +6 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterStop/sany.out +2 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterStop/verdict-1.out +49 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterTie/ChartRun.out +61 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterTie/CounterTie.cfg +4 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterTie/CounterTie.tla +14 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterTie/chart.mmd +30 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterTie/graph.dot +19 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterTie/report.md +27 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterTie/sany.out +2 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterTie/verdict-1.exit +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterTie/verdict-1.out +56 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterTie/verdict-2.exit +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterTie/verdict-2.out +64 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterTie/verdict-3.exit +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterTie/verdict-3.out +87 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterTie/verdict-4.out +57 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterTieInGraph/ChartRun.out +60 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterTieInGraph/CounterTieInGraph.cfg +3 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterTieInGraph/CounterTieInGraph.tla +12 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterTieInGraph/chart.mmd +23 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterTieInGraph/graph.dot +19 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterTieInGraph/report.md +11 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterTieInGraph/sany.out +2 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterTieInGraph/verdict-1.exit +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterTieInGraph/verdict-1.out +56 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterTieInGraph/verdict-2.out +57 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterView/ChartRun.out +61 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterView/CounterView.cfg +4 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterView/CounterView.tla +14 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterView/chart.mmd +23 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterView/graph.dot +19 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterView/report.md +27 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterView/sany.out +2 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterView/verdict-1.exit +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterView/verdict-1.out +56 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterView/verdict-2.exit +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterView/verdict-2.out +64 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterView/verdict-3.exit +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterView/verdict-3.out +87 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterView/verdict-4.out +57 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterView/view.mjs +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/DieHard/ChartRun.out +59 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/DieHard/DieHard.cfg +4 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/DieHard/DieHard.tla +38 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/DieHard/chart.mmd +92 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/DieHard/graph.dot +126 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/DieHard/report.md +17 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/DieHard/sany.out +2 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/DieHard/verdict-1.exit +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/DieHard/verdict-1.out +91 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/DieHard/verdict-2.out +57 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/FirstRule/ChartRun.out +61 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/FirstRule/FirstRule.cfg +6 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/FirstRule/FirstRule.tla +11 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/FirstRule/chart.mmd +22 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/FirstRule/graph.dot +16 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/FirstRule/report.md +25 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/FirstRule/sany.out +2 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/FirstRule/verdict-1.exit +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/FirstRule/verdict-1.out +56 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/FirstRule/verdict-2.exit +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/FirstRule/verdict-2.out +64 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/FirstRule/verdict-3.exit +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/FirstRule/verdict-3.out +64 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/FirstRule/verdict-4.exit +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/FirstRule/verdict-4.out +77 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/HiddenClock/ChartRun.out +57 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/HiddenClock/HiddenClock.cfg +4 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/HiddenClock/HiddenClock.tla +11 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/HiddenClock/chart.mmd +13 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/HiddenClock/graph.dot +12 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/HiddenClock/report.md +11 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/HiddenClock/sany.out +2 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/HiddenClock/verdict-1.exit +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/HiddenClock/verdict-1.out +72 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/Login/ChartRun.out +57 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/Login/Login.cfg +3 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/Login/Login.tla +62 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/Login/chart.mmd +27 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/Login/graph.dot +40 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/Login/report.md +7 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/Login/sany.out +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/Login/verdict-1.out +47 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/Login/view.mjs +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/LoginGuarded/ChartRun.out +57 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/LoginGuarded/LoginGuarded.cfg +2 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/LoginGuarded/LoginGuarded.tla +64 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/LoginGuarded/chart.mmd +28 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/LoginGuarded/graph.dot +37 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/LoginGuarded/report.md +8 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/LoginGuarded/sany.out +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/LoginGuarded/verdict-1.out +47 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/LoginGuarded/view.mjs +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/LoginParallel/ChartRun.out +60 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/LoginParallel/LoginParallel.cfg +3 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/LoginParallel/LoginParallel.tla +64 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/LoginParallel/chart.mmd +44 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/LoginParallel/graph.dot +58 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/LoginParallel/report.md +17 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/LoginParallel/sany.out +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/LoginParallel/verdict-1.exit +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/LoginParallel/verdict-1.out +83 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/LoginParallel/verdict-2.out +57 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/LoginParallel/view.mjs +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayer/ChartRun.out +60 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayer/MediaPlayer.cfg +3 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayer/MediaPlayer.tla +103 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayer/chart.mmd +43 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayer/graph.dot +93 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayer/report.md +14 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayer/sany.out +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayer/verdict-1.exit +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayer/verdict-1.out +59 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayer/verdict-2.out +72 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayer/view.mjs +3 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayerFixed/ChartRun.out +57 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayerFixed/MediaPlayerFixed.cfg +2 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayerFixed/MediaPlayerFixed.tla +100 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayerFixed/chart.mmd +31 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayerFixed/graph.dot +85 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayerFixed/report.md +9 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayerFixed/sany.out +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayerFixed/verdict-1.out +47 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayerFixed/view.mjs +3 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayerProps/ChartRun.out +59 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayerProps/MediaPlayer.tla +103 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayerProps/MediaPlayerProps.cfg +3 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayerProps/MediaPlayerProps.tla +6 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayerProps/chart.mmd +42 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayerProps/graph.dot +93 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayerProps/report.md +19 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayerProps/sany.out +2 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-1.exit +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-1.out +61 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-2.out +59 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-3.out +61 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-4.exit +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-4.out +66 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-5.exit +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-5.out +58 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-6.out +49 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayerProps/view.mjs +3 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/PickWorker/ChartRun.out +57 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/PickWorker/PickWorker.cfg +6 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/PickWorker/PickWorker.tla +11 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/PickWorker/chart.mmd +5 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/PickWorker/graph.dot +11 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/PickWorker/report.md +7 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/PickWorker/sany.out +5 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/PickWorker/verdict-1.out +70 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/Shadow/ChartRun.out +61 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/Shadow/Shadow.cfg +4 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/Shadow/Shadow.tla +11 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/Shadow/ShadowLib.tla +6 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/Shadow/ShadowSub.tla +3 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/Shadow/chart.mmd +9 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/Shadow/graph.dot +16 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/Shadow/report.md +8 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/Shadow/sany.out +4 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/Shadow/verdict-1.out +65 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/SpacedNames/ChartRun.out +59 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/SpacedNames/SpacedNames.cfg +2 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/SpacedNames/SpacedNames.tla +9 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/SpacedNames/chart.mmd +23 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/SpacedNames/graph.dot +17 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/SpacedNames/report.md +15 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/SpacedNames/sany.out +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/SpacedNames/verdict-1.exit +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/SpacedNames/verdict-1.out +65 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/SpacedNames/verdict-2.exit +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/SpacedNames/verdict-2.out +75 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/TwoPhase/ChartRun.out +69 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/TwoPhase/TwoPhase.cfg +3 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/TwoPhase/TwoPhase.tla +75 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/TwoPhase/chart.mmd +60 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/TwoPhase/graph.dot +297 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/TwoPhase/report.md +20 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/TwoPhase/sany.out +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/TwoPhase/verdict-1.exit +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/TwoPhase/verdict-1.out +95 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/TwoPhase/verdict-2.out +57 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/TwoPhase/view.mjs +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/TwoPhaseFixed/ChartRun.out +57 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/TwoPhaseFixed/TwoPhaseFixed.cfg +3 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/TwoPhaseFixed/TwoPhaseFixed.tla +75 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/TwoPhaseFixed/chart.mmd +37 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/TwoPhaseFixed/graph.dot +223 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/TwoPhaseFixed/report.md +11 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/TwoPhaseFixed/sany.out +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/TwoPhaseFixed/verdict-1.out +47 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/TwoPhaseFixed/view.mjs +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/TypeGuard/ChartRun.exit +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/TypeGuard/ChartRun.out +75 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/TypeGuard/TypeGuard.cfg +5 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/TypeGuard/TypeGuard.tla +11 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/TypeGuard/chart.mmd +18 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/TypeGuard/graph.dot +14 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/TypeGuard/report.md +29 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/TypeGuard/sany.out +2 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/TypeGuard/verdict-1.exit +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/TypeGuard/verdict-1.out +64 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/TypeGuard/verdict-2.exit +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/TypeGuard/verdict-2.out +75 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/UserNoDeadlock/ChartRun.out +58 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/UserNoDeadlock/UserNoDeadlock.cfg +2 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/UserNoDeadlock/UserNoDeadlock.tla +8 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/UserNoDeadlock/chart.mmd +22 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/UserNoDeadlock/graph.dot +16 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/UserNoDeadlock/report.md +15 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/UserNoDeadlock/sany.out +2 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/UserNoDeadlock/verdict-1.exit +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/UserNoDeadlock/verdict-1.out +56 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/UserNoDeadlock/verdict-2.exit +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/UserNoDeadlock/verdict-2.out +77 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus.test.ts +403 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/differential.test.ts +565 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/grid/Grid.cfg +2 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/grid/Grid.tla +9 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/grid/sany.out +2 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/java.ts +63 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/labels.ts +643 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/messages.test.ts +212 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/pipeline.test.ts +270 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/plain-tlc.test.ts +255 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/render.test.ts +81 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/tlc-out.test.ts +90 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/tlc.ts +158 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/tsconfig.json +11 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/worker.mjs +32 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/worker.ts +35 -0
- package/builtin/skills/pstack/dsh/skills/swarm/SKILL.md +44 -0
- package/builtin/skills/pstack/dsh/skills/tdd/SKILL.md +45 -0
- package/builtin/skills/pstack/dsh/skills/teach/SKILL.md +24 -0
- package/builtin/skills/pstack/dsh/skills/technical-writing/SKILL.md +109 -0
- package/builtin/skills/pstack/dsh/skills/typescript-best-practices/SKILL.md +34 -0
- package/builtin/skills/pstack/dsh/skills/typescript-best-practices/references/patterns.md +328 -0
- package/builtin/skills/pstack/dsh/skills/unslop/SKILL.md +65 -0
- package/builtin/skills/pstack/dsh/skills/why/SKILL.md +99 -0
- package/builtin/skills/pstack/dsh/skills/why/references/epistemics.md +71 -0
- package/builtin/skills/pstack/dsh/skills/why/references/investigator-prompt.md +84 -0
- package/builtin/skills/pstack/dsh/skills/why/references/source-playbook.md +17 -0
- package/builtin/skills/pstack/dsh/skills/why/references/sources/code-archaeology.md +51 -0
- package/builtin/skills/pstack/dsh/skills/why/references/sources/databricks.md +70 -0
- package/builtin/skills/pstack/dsh/skills/why/references/sources/datadog.md +97 -0
- package/builtin/skills/pstack/dsh/skills/why/references/sources/incident-postmortem.md +5 -0
- package/builtin/skills/pstack/dsh/skills/why/references/sources/linear.md +48 -0
- package/builtin/skills/pstack/dsh/skills/why/references/sources/notion.md +55 -0
- package/builtin/skills/pstack/dsh/skills/why/references/sources/sentry.md +66 -0
- package/builtin/skills/pstack/dsh/skills/why/references/sources/slack.md +17 -0
- package/builtin/skills/pstack/dsh/skills/why/references/synthesizer-prompt.md +129 -0
- package/client/index.js +453 -129
- package/cordis.patch.yml +5 -13
- package/docs/Acknowledgements.md +24 -12
- package/docs/Changelog.md +70 -0
- package/docs/Compatibility.md +78 -2
- package/docs/EvaluationResults.md +8 -6
- package/docs/UsageGuide.md +91 -15
- package/docs/en/Acknowledgements.md +24 -12
- package/docs/en/Changelog.md +70 -0
- package/docs/en/Compatibility.md +78 -2
- package/docs/en/EvaluationResults.md +8 -6
- package/docs/en/UsageGuide.md +91 -15
- package/docs/images/agent-tree-preview.png +0 -0
- package/docs/images/agent-tree.png +0 -0
- package/docs/images/install-tgz-preview.png +0 -0
- package/docs/images/install-tgz.png +0 -0
- package/docs/images/npm-downloads-dark.svg +22 -0
- package/docs/images/npm-downloads.svg +22 -0
- package/docs/images/preset-settings-preview.png +0 -0
- package/docs/images/star-history-dark.svg +22 -0
- package/docs/images/star-history.svg +22 -0
- package/docs/images/task-status-preview.png +0 -0
- package/docs/images/task-status.png +0 -0
- package/lib/connection/approvals.d.ts +4 -0
- package/lib/connection/approvals.d.ts.map +1 -1
- package/lib/connection/approvals.js.map +1 -1
- package/lib/connection/client.d.ts.map +1 -1
- package/lib/connection/client.js +20 -3
- package/lib/connection/client.js.map +1 -1
- package/lib/connection/directories.d.ts.map +1 -1
- package/lib/connection/directories.js +14 -5
- package/lib/connection/directories.js.map +1 -1
- package/lib/connection/git.d.ts.map +1 -1
- package/lib/connection/git.js +17 -12
- package/lib/connection/git.js.map +1 -1
- package/lib/connection/guidance.d.ts.map +1 -1
- package/lib/connection/guidance.js +7 -0
- package/lib/connection/guidance.js.map +1 -1
- package/lib/connection/http.d.ts.map +1 -1
- package/lib/connection/http.js +79 -31
- package/lib/connection/http.js.map +1 -1
- package/lib/connection/service.d.ts +6 -2
- package/lib/connection/service.d.ts.map +1 -1
- package/lib/connection/service.js +87 -33
- package/lib/connection/service.js.map +1 -1
- package/lib/connection/store.d.ts +3 -0
- package/lib/connection/store.d.ts.map +1 -1
- package/lib/connection/store.js +151 -37
- package/lib/connection/store.js.map +1 -1
- package/lib/connection/tasks.d.ts +10 -5
- package/lib/connection/tasks.d.ts.map +1 -1
- package/lib/connection/tasks.js +158 -81
- package/lib/connection/tasks.js.map +1 -1
- package/lib/connection/types.d.ts +2 -0
- package/lib/connection/types.d.ts.map +1 -1
- package/lib/connection/types.js.map +1 -1
- package/lib/core/batch-policy.js +2 -2
- package/lib/core/batch-policy.js.map +1 -1
- package/lib/core/delegation.d.ts +3 -0
- package/lib/core/delegation.d.ts.map +1 -1
- package/lib/core/delegation.js +2 -2
- package/lib/core/delegation.js.map +1 -1
- package/lib/core/deletion-command.d.ts.map +1 -1
- package/lib/core/deletion-command.js +271 -38
- package/lib/core/deletion-command.js.map +1 -1
- package/lib/core/tool-evidence.d.ts.map +1 -1
- package/lib/core/tool-evidence.js +9 -2
- package/lib/core/tool-evidence.js.map +1 -1
- package/lib/dsh/budget-settings.d.ts +11 -0
- package/lib/dsh/budget-settings.d.ts.map +1 -1
- package/lib/dsh/budget-settings.js +43 -9
- package/lib/dsh/budget-settings.js.map +1 -1
- package/lib/dsh/budgets.d.ts +5 -0
- package/lib/dsh/budgets.d.ts.map +1 -1
- package/lib/dsh/budgets.js +15 -0
- package/lib/dsh/budgets.js.map +1 -1
- package/lib/dsh/bundled-skills.d.ts +17 -0
- package/lib/dsh/bundled-skills.d.ts.map +1 -0
- package/lib/dsh/bundled-skills.js +94 -0
- package/lib/dsh/bundled-skills.js.map +1 -0
- package/lib/dsh/compaction.d.ts.map +1 -1
- package/lib/dsh/compaction.js +1 -0
- package/lib/dsh/compaction.js.map +1 -1
- package/lib/dsh/connection-approval.d.ts.map +1 -1
- package/lib/dsh/connection-approval.js +24 -2
- package/lib/dsh/connection-approval.js.map +1 -1
- package/lib/dsh/connection-history.d.ts +2 -1
- package/lib/dsh/connection-history.d.ts.map +1 -1
- package/lib/dsh/connection-history.js +25 -4
- package/lib/dsh/connection-history.js.map +1 -1
- package/lib/dsh/connection-host.d.ts +0 -1
- package/lib/dsh/connection-host.d.ts.map +1 -1
- package/lib/dsh/connection-host.js +59 -26
- package/lib/dsh/connection-host.js.map +1 -1
- package/lib/dsh/connection.d.ts.map +1 -1
- package/lib/dsh/connection.js +34 -8
- package/lib/dsh/connection.js.map +1 -1
- package/lib/dsh/deletion-protection.d.ts.map +1 -1
- package/lib/dsh/deletion-protection.js +18 -10
- package/lib/dsh/deletion-protection.js.map +1 -1
- package/lib/dsh/directory-metadata.d.ts +4 -0
- package/lib/dsh/directory-metadata.d.ts.map +1 -0
- package/lib/dsh/directory-metadata.js +4 -0
- package/lib/dsh/directory-metadata.js.map +1 -0
- package/lib/dsh/index.d.ts.map +1 -1
- package/lib/dsh/index.js +4 -0
- package/lib/dsh/index.js.map +1 -1
- package/lib/dsh/memory-library.d.ts.map +1 -1
- package/lib/dsh/memory-library.js +8 -4
- package/lib/dsh/memory-library.js.map +1 -1
- package/lib/dsh/official-budgets.d.ts.map +1 -1
- package/lib/dsh/official-budgets.js +16 -3
- package/lib/dsh/official-budgets.js.map +1 -1
- package/lib/dsh/openspec-shell.d.ts +3 -0
- package/lib/dsh/openspec-shell.d.ts.map +1 -0
- package/lib/dsh/openspec-shell.js +25 -0
- package/lib/dsh/openspec-shell.js.map +1 -0
- package/lib/dsh/preset-declaration.d.ts +6 -0
- package/lib/dsh/preset-declaration.d.ts.map +1 -1
- package/lib/dsh/preset-declaration.js +91 -65
- package/lib/dsh/preset-declaration.js.map +1 -1
- package/lib/dsh/preset-files.d.ts.map +1 -1
- package/lib/dsh/preset-files.js +16 -1
- package/lib/dsh/preset-files.js.map +1 -1
- package/lib/dsh/preset-installation.d.ts +11 -7
- package/lib/dsh/preset-installation.d.ts.map +1 -1
- package/lib/dsh/preset-installation.js +71 -33
- package/lib/dsh/preset-installation.js.map +1 -1
- package/lib/dsh/preset-metadata.d.ts.map +1 -1
- package/lib/dsh/preset-metadata.js +20 -7
- package/lib/dsh/preset-metadata.js.map +1 -1
- package/lib/dsh/preset-recovery-runtime.d.ts +76 -0
- package/lib/dsh/preset-recovery-runtime.d.ts.map +1 -0
- package/lib/dsh/preset-recovery-runtime.js +344 -0
- package/lib/dsh/preset-recovery-runtime.js.map +1 -0
- package/lib/dsh/preset-recovery.d.ts +14 -0
- package/lib/dsh/preset-recovery.d.ts.map +1 -0
- package/lib/dsh/preset-recovery.js +206 -0
- package/lib/dsh/preset-recovery.js.map +1 -0
- package/lib/dsh/preset-version.d.ts +1 -0
- package/lib/dsh/preset-version.d.ts.map +1 -1
- package/lib/dsh/preset-version.js +1 -1
- package/lib/dsh/preset-version.js.map +1 -1
- package/lib/dsh/ptc-budget.d.ts.map +1 -1
- package/lib/dsh/ptc-budget.js +24 -12
- package/lib/dsh/ptc-budget.js.map +1 -1
- package/lib/dsh/skill-directory.d.ts +45 -0
- package/lib/dsh/skill-directory.d.ts.map +1 -0
- package/lib/dsh/skill-directory.js +113 -0
- package/lib/dsh/skill-directory.js.map +1 -0
- package/lib/dsh/skill-installation.d.ts +8 -0
- package/lib/dsh/skill-installation.d.ts.map +1 -0
- package/lib/dsh/skill-installation.js +131 -0
- package/lib/dsh/skill-installation.js.map +1 -0
- package/lib/dsh/skill-packages.d.ts +6 -0
- package/lib/dsh/skill-packages.d.ts.map +1 -0
- package/lib/dsh/skill-packages.js +8 -0
- package/lib/dsh/skill-packages.js.map +1 -0
- package/lib/dsh/super-code.d.ts.map +1 -1
- package/lib/dsh/super-code.js +143 -166
- package/lib/dsh/super-code.js.map +1 -1
- package/lib/dsh/tool-contracts.d.ts +53 -0
- package/lib/dsh/tool-contracts.d.ts.map +1 -0
- package/lib/dsh/tool-contracts.js +129 -0
- package/lib/dsh/tool-contracts.js.map +1 -0
- package/lib/dsh/windows-shell.d.ts +2 -2
- package/lib/dsh/windows-shell.d.ts.map +1 -1
- package/lib/dsh/windows-shell.js +29 -5
- package/lib/dsh/windows-shell.js.map +1 -1
- package/lib/long-memory.d.ts +2 -2
- package/lib/long-memory.d.ts.map +1 -1
- package/lib/long-memory.js +19 -11
- package/lib/long-memory.js.map +1 -1
- package/lib/memory-usage-projection.d.ts.map +1 -1
- package/lib/memory-usage-projection.js +13 -9
- package/lib/memory-usage-projection.js.map +1 -1
- package/lib/super-agent-usage.d.ts +2 -0
- package/lib/super-agent-usage.d.ts.map +1 -1
- package/lib/super-agent-usage.js +16 -11
- package/lib/super-agent-usage.js.map +1 -1
- package/lib/task-feedback-projection.d.ts +12 -0
- package/lib/task-feedback-projection.d.ts.map +1 -1
- package/lib/task-feedback-projection.js +96 -27
- package/lib/task-feedback-projection.js.map +1 -1
- package/lib/task-memory-store.d.ts.map +1 -1
- package/lib/task-memory-store.js +7 -1
- package/lib/task-memory-store.js.map +1 -1
- package/package.json +24 -4
- package/presets/super-code/agent.cordis.yml +4 -6
- package/runtime/skills/openspec/bin/openspec +2 -0
- package/runtime/skills/openspec/bin/openspec.cmd +6 -0
- package/presets/super-code/skills/super-code-frontend/SKILL.md +0 -33
- package/presets/super-code/skills/super-code-frontend/references/browser-validation.md +0 -59
- package/presets/super-code/skills/super-code-frontend/references/interaction-states.md +0 -51
- package/presets/super-code/skills/super-code-frontend/references/visual-design.md +0 -43
|
@@ -31,23 +31,17 @@ Design reference only, not a dependency. The UI is built on Harness's public API
|
|
|
31
31
|
|
|
32
32
|
The bundled frontend Skill follows this format: `SKILL.md`, YAML metadata, and a `references/` directory. The model sees only the name and summary until the Skill is needed, then loads the body and relevant references. It coexists with project and user Skills. Parsing and loading use Harness's native support.
|
|
33
33
|
|
|
34
|
-
Implementation: [
|
|
34
|
+
Implementation: [oil-ui](../../builtin/skills/oil-ui/SKILL.md)
|
|
35
35
|
|
|
36
|
-
##
|
|
36
|
+
## oil-ui
|
|
37
37
|
|
|
38
|
-
[
|
|
38
|
+
[Source](https://github.com/oil-oil/oil-ui) · [MIT](../../builtin/skills/oil-ui/LICENSE) · [Pinned version and adaptations](../../builtin/skills/oil-ui/UPSTREAM.md)
|
|
39
39
|
|
|
40
|
-
|
|
40
|
+
Thanks to oil-oil for this open-source frontend design Skill. The plugin bundles oil-ui 0.32.0's workflow, references, comparison page, and helper scripts, loaded on demand through Harness's native Skill mechanism in place of the previous custom frontend Skill.
|
|
41
41
|
|
|
42
|
-
|
|
42
|
+
The bundled copy is pinned to upstream commit `0d64a00f3a5c45bf7a30d35bded9b7c0fdff2128`. Its only adaptation replaces the standalone update entrypoint with plugin-managed updates; neither the upstream installer nor a paid plugin is included. The MIT license and original copyright notice are preserved in the package.
|
|
43
43
|
|
|
44
|
-
|
|
45
|
-
|
|
46
|
-
[WCAG 2.2](https://www.w3.org/TR/WCAG22/) · [2.5.8 Target Size (Minimum)](https://www.w3.org/WAI/WCAG22/Understanding/target-size-minimum.html)
|
|
47
|
-
|
|
48
|
-
When checking Web controls, the frontend Skill uses 2.5.8's 24 × 24 CSS pixel criterion and its spacing exceptions, alongside real click, keyboard, and content checks. Passing the numbers does not make the whole interface accessible.
|
|
49
|
-
|
|
50
|
-
Implementation: [interaction states](../../presets/super-code/skills/super-code-frontend/references/interaction-states.md), [browser validation](../../presets/super-code/skills/super-code-frontend/references/browser-validation.md)
|
|
44
|
+
The comparison page also bundles [Instrument Serif](https://github.com/Instrument/instrument-serif), under [SIL OFL 1.1](../../builtin/skills/oil-ui/assets/fonts/instrument-serif/OFL.txt), for comparison-page typography.
|
|
51
45
|
|
|
52
46
|
## SWE-bench
|
|
53
47
|
|
|
@@ -74,3 +68,21 @@ Full list in [package.json](../../package.json); locked versions in [package-loc
|
|
|
74
68
|
## License
|
|
75
69
|
|
|
76
70
|
This project uses [Apache-2.0](../../LICENSE). The projects, specifications, design resources, and datasets above keep their own copyrights and licenses as stated upstream (LICENSE, NOTICE, and dataset docs). A design reference does not imply a dependency, endorsement, or feature equivalence.
|
|
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
|
+
Thanks to the OpenSpec contributors for the complete specification-driven workflow Skill distribution. The plugin preserves the original prompts and licenses and loads them on demand through DSH.
|
|
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
|
+
Thanks to Matt Pocock and contributors for the complete engineering and productivity Skill distribution. The plugin includes the official plugin inventory with its references, templates and invocation rules; it does not run setup on activation.
|
|
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
|
+
Thanks to Lauren Tan and the Cursor plugin contributors for PStack. The plugin preserves its 58 standard Skills, invocation rules, references and scripts, loaded on demand through native DSH Skills and slash commands. It does not register Cursor automations or run setup on activation. Some workflows still require Cursor capabilities or external tools; see the upstream notes.
|
package/docs/en/Changelog.md
CHANGED
|
@@ -4,6 +4,76 @@
|
|
|
4
4
|
|
|
5
5
|
Versions are `major.performance.maintenance`. The second number changes when coding results or efficiency improve; the third covers fixes, UI, and compatibility. See [Compatibility](Compatibility.md) for what each release was tested on.
|
|
6
6
|
|
|
7
|
+
## 0.4.0 · 2026-11-12
|
|
8
|
+
|
|
9
|
+
**Task and memory tools**
|
|
10
|
+
|
|
11
|
+
- Simplified calls to `super_code_task` and `super_code_memory`, with action-specific field guidance, examples, and recovery instructions to reduce trial and error.
|
|
12
|
+
- Read a named project-memory topic without creating or switching the focused task. Writes retain source checks and revision-based conflict protection; historical information does not replace checking current code.
|
|
13
|
+
|
|
14
|
+
**Preset Skills and workflows**
|
|
15
|
+
|
|
16
|
+
- Added standalone grill-me alongside OpenSpec, oil-ui, Matt Pocock Skills, and PStack, grouped into Skills and workflows. All five default off, and saved choices are preserved.
|
|
17
|
+
- Enabled packages sync their complete resources to the DSH Skill directory and take effect in existing conversations. Each entry shows its version and a short usage hint, with a shortcut to open the directory. Existing user files and edits are protected; conflicts are reported and can be retried.
|
|
18
|
+
- Uses the native `/` menu and real Skill names. Search by package names such as `/pstack` or `/mattpocock`, then select a specific command. Disabled packages no longer supply commands or bodies; content already loaded into context is not withdrawn.
|
|
19
|
+
- OpenSpec's command environment ships with the plugin. Toggling a package does not initialize a project, install project dependencies, or modify project files; initialization runs only when requested.
|
|
20
|
+
- PStack retains upstream workflows and resources, with adaptations for DSH tools, child Agents, approvals, and image handling. Workflow adaptation targets Harness `0.2.1-alpha.1` and later.
|
|
21
|
+
- Bundled and adapted sources are published under `builtin/skills`, with upstream versions, provenance, and licenses.
|
|
22
|
+
|
|
23
|
+
**UI, compatibility, and fixes**
|
|
24
|
+
|
|
25
|
+
- Improved Settings autosave, draft retention across tabs, reconnection, concurrent edits, and recovery after failed saves.
|
|
26
|
+
- Improved task, execution, tool-status, and changed-file displays while retaining circular Agent nodes and the existing memory page.
|
|
27
|
+
- Fixed cancellation, reconnection, and repeated enable/disable issues in preset installation and uninstall recovery, MCP connections and approvals, deletion protection, and the Windows command environment.
|
|
28
|
+
- Updated compatibility records for newer Harness versions. See [Compatibility](Compatibility.md) for version and platform coverage, distinguishing SDK checks from full-host acceptance; interface tests do not establish that every workflow and platform has passed.
|
|
29
|
+
|
|
30
|
+
- Added version, license, and total npm download badges, with Star and npm trend charts refreshed daily.
|
|
31
|
+
|
|
32
|
+
See the [README](../../README.en.md) and [evaluation notes](EvaluationResults.md) for results and statistical limits. Skill installation, UI, and compatibility tests are not evidence of coding performance.
|
|
33
|
+
|
|
34
|
+
## 0.3.11 · 2026-11-06
|
|
35
|
+
|
|
36
|
+
**Uninstall recovery and preset management**
|
|
37
|
+
|
|
38
|
+
- Fixed Super Code conversations failing to continue after uninstall: registered conversations with matching ownership continue with the official Standard preset and show one switch notice. Existing parent/child history, model, directory, and permissions are preserved.
|
|
39
|
+
- Fixed stale deletion-protection rules in official Minimal after protection is disabled, official-preset coverage is removed, or the plugin is disabled or uninstalled. Changing levels no longer stacks duplicate rules. Existing summaries remain intact, followed by an explicit revocation notice.
|
|
40
|
+
- Fixed stale preset recovery during asynchronous reads, user selection changes, plugin re-enablement, and module replacement. Retired instances no longer overwrite newer records or take over the service again.
|
|
41
|
+
- Fixed installation/reinstallation rollback and locale synchronization overwriting external changes or losing ownership records. User edits and symbolic links are preserved, invalid records are rejected, and conflicting writes stop.
|
|
42
|
+
|
|
43
|
+
**Task sidebar, execution records, and usage**
|
|
44
|
+
|
|
45
|
+
- Fixed the task sidebar showing only the current request. It retains the latest 20 earlier requests and their recorded steps, with a notice when display limits are exceeded.
|
|
46
|
+
- Fixed unrendered execution details by using the host's Markdown and code components, preserving literal user/tool output and allowing long content to expand.
|
|
47
|
+
- Completed PTC child-tool call, result, failure, and terminal-error records, with correct interrupted status after crash recovery. Successful file-change evidence survives slow calls leaving the recent activity window.
|
|
48
|
+
- Fixed duplicate history reads, shifting boundaries, and lost reading positions during pagination and reconnection. Failed history reads can be retried, and closed views ignore late responses.
|
|
49
|
+
- Fixed inherited fork history being counted again in child and tree usage, and distinct model IDs being merged when they contain separator characters. Old caches are rebuilt.
|
|
50
|
+
- Fixed all sidebar sections collapsing: exactly one of Tasks, Collaborative execution, and Memory stays open, with Tasks as the default. Switching preserves reading positions and drafts.
|
|
51
|
+
|
|
52
|
+
**Settings, budgets, and memory**
|
|
53
|
+
|
|
54
|
+
- Fixed Home reverting to stale settings when a save succeeds but the following refresh fails. Reset now waits with controls locked during pending autosave, preventing duplicate submissions and revision conflicts.
|
|
55
|
+
- Fixed cancellation during a model-information lookup being ignored by automatic compaction or still allowing tool-record pruning. Existing compaction policy and budget defaults are preserved.
|
|
56
|
+
- Fixed retained legacy-memory drafts using a retired API after reconnection. Drafts are kept, explicit retries use the current API, and in-flight writes are not replayed automatically.
|
|
57
|
+
- Fixed empty topics continuing to consume the 200-topic allowance after their last entry is deleted. Capacity counts non-empty topics while retaining concurrent-edit checks, without adding content version history.
|
|
58
|
+
|
|
59
|
+
**MCP connection**
|
|
60
|
+
|
|
61
|
+
- Fixed asynchronous preparation using revoked directory access or disabled settings. Current authorization and cancellation are checked again before conversation creation, model selection, and prompt submission.
|
|
62
|
+
- Fixed `newConversation: false` creating a conversation without `taskId`. The caller must now choose a specific conversation first.
|
|
63
|
+
- Fixed failed create, continuation, or cancellation saves changing in-memory state prematurely, consuming capacity, or causing delayed cancellation. Preparation retains previous-request tracking; restart and reconnection never automatically replay saved requests.
|
|
64
|
+
- Fixed late approval being accepted after an approval wait is cancelled. One-time decisions recheck cancellation, directory access, and settings; undecided requests can return to DSH.
|
|
65
|
+
- Fixed directory requests being approved after path replacement, expiry during validation, or withdrawal. Reusing an old request cannot restore revoked access.
|
|
66
|
+
- Fixed symbolic-link aliases producing duplicate allowed directories that reappear after removal. Each real directory appears once, and unavailable entries remain removable.
|
|
67
|
+
- Added missing public PTC child-call records to `dsh_read`. Child-tool activity now counts toward progress observation instead of being mistaken for a long idle period.
|
|
68
|
+
- Fixed connection-capacity, port, and lock leaks during initialization, token rotation, shutdown, and unload races. Successful saves return the actual settings; cleanup failures are explicit and retryable without resending tasks.
|
|
69
|
+
|
|
70
|
+
**Commands and runtime**
|
|
71
|
+
|
|
72
|
+
- Fixed missed and false deletion detections in some shell wrappers, `find`, `xargs`, and PowerShell launch arguments. Existing protection levels and host approval still decide execution.
|
|
73
|
+
- Fixed Windows shell filters, official-budget adapters, and PTC wrappers surviving unload or overwriting other wrappers. Plugin resources are released after asynchronous initialization settles, preserving host and other-plugin state.
|
|
74
|
+
|
|
75
|
+
Fixes have regression checks scoped to their changes. Version contracts, frontend checks, and full-host acceptance are recorded separately; this does not mean every version on every platform has passed full-process tests. No new 100-task effectiveness evaluation was run.
|
|
76
|
+
|
|
7
77
|
## 0.3.10 · 2026-11-03
|
|
8
78
|
|
|
9
79
|
**Windows command environment**
|
package/docs/en/Compatibility.md
CHANGED
|
@@ -2,9 +2,13 @@
|
|
|
2
2
|
|
|
3
3
|
[中文](../Compatibility.md) · English
|
|
4
4
|
|
|
5
|
-
|
|
5
|
+
Supports Harness `0.1.5-alpha.1` through `0.2.2-rc.2`, including `0.2.2-alpha.3`. Version 0.4.0 has been checked against all 27 complete Web hosts in this range, official macOS arm64 Desktop `0.2.2-rc.2`, and NEXT `2.0.22-next` (bundled `0.2.2-rc.1`). This round's scope and limits are recorded below.
|
|
6
6
|
|
|
7
|
-
|
|
7
|
+
Full-process Windows coverage currently reaches official Desktop `0.2.1-rc.5` and NEXT `2.0.21-next` (bundled `0.2.1-rc.4`). New macOS/Web results do not extend that Windows scope.
|
|
8
|
+
|
|
9
|
+
The records below distinguish each code baseline and test layer. Component checks, static-frontend fixtures, and earlier development-package results do not establish a complete rerun of every version and platform.
|
|
10
|
+
|
|
11
|
+
The new PStack workflow adaptation starts at `0.2.1-alpha.1`; earlier hosts are outside its scope. Older-version records below describe historical coverage of other plugin features.
|
|
8
12
|
|
|
9
13
|
## Verified hosts
|
|
10
14
|
|
|
@@ -53,6 +57,78 @@ Under npm rules, a range like `>=0.1.5-alpha.1 <0.3.0` excludes prereleases such
|
|
|
53
57
|
|
|
54
58
|
`zod`, `js-yaml`, and `@modelcontextprotocol/sdk` are runtime dependencies and are not bundled. The Windows shell also packages separately licensed programs that run as subprocesses; see [runtime notes](../../runtime/windows/README.md) for sources, licenses, and corresponding source.
|
|
55
59
|
|
|
60
|
+
## November 12, 2026 · 0.4.0 compatibility rerun
|
|
61
|
+
|
|
62
|
+
The existing peer dependency ranges and minimum `0.1.5-alpha.1` remain unchanged. Every version uses the same 0.4.0 candidate; no plugin runtime changes were needed for these checks.
|
|
63
|
+
|
|
64
|
+
| Layer | Scope | Result |
|
|
65
|
+
|---|---|---|
|
|
66
|
+
| Complete Web hosts | All 27 exact published versions, `0.1.5-alpha.1` through `0.2.2-rc.2` | 12 groups per version; 324 pass |
|
|
67
|
+
| Actual SDK and disk storage | The same 27 versions | Six groups per version; 162 pass |
|
|
68
|
+
| Native Skill loading | The same 27 versions | 24 checks and 98 body loads per version pass; duplicate names follow provider precedence |
|
|
69
|
+
| Native menu contract | The same 27 versions | Pass; `0.1.5` lacks package-query expansion, but individual Skill names remain selectable |
|
|
70
|
+
| Browser interactions | Official React, controls and themes from all 27 versions, with fixture Remote services | 15 groups per version; 405 pass without page errors |
|
|
71
|
+
| Official macOS arm64 Desktop | `0.2.2-rc.2` | 13 complete-host groups and four actual UI checks pass |
|
|
72
|
+
| DSH NEXT · macOS arm64 | `2.0.22-next`, bundled `0.2.2-rc.1` | 13 complete-host groups and four actual UI checks pass |
|
|
73
|
+
|
|
74
|
+
- **Complete-host checks**: install the candidate, verify preset versions, independent budget/protection saves, five default-off Skill packages enabling and disabling in existing conversations, default MCP settings, manual memory CRUD and concurrency conflicts, native/PTC task and memory calls, complete process restarts, original-conversation continuation and memory recovery.
|
|
75
|
+
- **UI checks**: six settings tabs, Skill versions and switches, failed saves, budget validation, connection settings, Chinese/English, light/dark themes, narrow layouts, 10,000-row task virtualization, execution-tree animation and legacy memory maintenance. Both actual desktops additionally verify settings loading, matching versions, five default-off packages, switch autosave and disabled Windows command-environment controls on macOS.
|
|
76
|
+
- **Provenance and baseline**: the official archive matches the feed SHA-512 and passes deep signature verification; all 333 DSH components are rc.2. NEXT has a valid signature and all 330 DSH components are rc.1. All 1154 unit tests, type checking and build/pack pass. Acceptance scripts were corrected for concurrent completion order, upstream theme packaging and actual page structure; original failed records remain preserved.
|
|
77
|
+
- **Limits**: complete hosts use a local deterministic model adapter with zero external-model calls. This does not establish model effectiveness, acceptance of all 58 PStack workflows or every feature branch. This round does not repeat Windows, Linux, every historical native desktop, native directory pickers or physical-uninstall recovery; those retain their historical evidence identities. Full PStack workflow adaptation still starts at `0.2.1-alpha.1`.
|
|
78
|
+
|
|
79
|
+
## November 11, 2026 · PStack DSH adaptation
|
|
80
|
+
|
|
81
|
+
- Batch six removes adapter-added command bans, mandatory API checks and repeated snapshot audits. Four role templates now match upstream exactly, and delegation translation preserves the upstream read-only requirement. Read-only roles may use commands without side effects, but may not write files or change external state. Command capture also fixes sparse-argv validation and post-submission argument mutation. All 925 regression tests and 143 resource checks across 13 versions pass; real minimum/latest Web capture scenarios each pass nine independent checks. Live workflow children still redirect output into temporary files, so read-only scope adherence remains unresolved.
|
|
82
|
+
- The scope contains all 13 npm releases from `0.2.1-alpha.1` through the current latest `0.2.2-rc.1`, including `0.2.2-alpha.3`. Native catalogs, all 58 bodies, slash injection, invocation permissions and same-name precedence pass, with batch five adding command-capture resources for 143 checks; task enum diagnostics pass another 39 checks. Native subagent contracts pass 65 checks; live switches in existing browser conversations pass 169. Browser checks use real frontend modules with fixtures at service boundaries, not 13 complete desktop processes.
|
|
83
|
+
- On November 11, 2026, all 58 entrypoints ran through native slash injection and real model calls in isolated macOS arm64 Web `0.2.2-rc.1`, using `tokenhub/deepseek/Evaluation model A`. Each entrypoint had an independent scenario. Twelve scenarios were rerun, and two received clarifications; repeats are not added to the 58-entry denominator.
|
|
84
|
+
- First-round acceptance: 36 pass, 17 pass with qualifications, four fail and one partial. Read-only children in `how`, `teach` and `create-formal-verification-skill` still wrote global temporary files. `principle-outcome-oriented-execution` retained `add` twice and passed after the target was clarified as `sum({left,right})`; ambiguity between the original wording and the acceptance contract needs separate review. `ketchup-video` encoded and decoded a real video, but the test route omitted the image-input declaration and the workflow did not complete its visual review. Execution completion is not acceptance.
|
|
85
|
+
- Image diagnosis corrected: the model does support images. With `input: ["text", "image"]` declared in the isolated route, direct image attachments and native `read_image` on both `0.2.1-alpha.1` and `0.2.2-rc.1` let the live model read a random code and count shapes present only in the pixels. Provider requests contained image content. A text-only configuration rejected images before sending. The Chinese rc.1 Web UI also passed native selection, preview, removal, paste, drop and history display; this round did not exercise native desktop image interactions across platforms.
|
|
86
|
+
- All 22 entries without full acceptance were rerun. The video workflow completed 14 actual image reads, including decoded frames from every slide; eight CLI samples and four decoded images were independently checked. The complete `statechart` workflow also passed real TLC and code replay. Independent baseline checks passed 56/57; the remaining check compares an ambiguously worded API task against a fixed contract and needs separate interpretation. Five additional checks passed. Read-only children still wrote global temporary files, and cleanup used `rm` and process-name matching to stop encoders. Image transport and baseline checks do not erase these defects, so all 58 workflows cannot be reported as fully accepted.
|
|
87
|
+
- Three read-only/audit workflows were tested again, passing seven baseline checks. An independent copy of the formal-verification artifact passed three additional normal, invalid-argument and mutation/restoration checks. The audit reviewer made no writes this time, and its independent review passed with the snapshot coverage limits disclosed. The `teach` investigator and synthesizer still wrote global temporary files. Prompt rules therefore do not provide a hard read-only boundary, and these issues are not all resolved.
|
|
88
|
+
- This round corrected three global temporary-path examples and child-scope propagation guidance. It also fixed the installed `statechart` helper: Node refuses TypeScript stripping under `node_modules`, so packaging now emits JavaScript while retaining upstream sources. The actual installed wrapper passed TLC, a concrete authorization counterexample and code replay under a Unicode path with spaces. The MCP bot UI exercised real new/reused conversations, stable request IDs, restart, rejection branches, paged history and session termination; live approval waiting and remote deployment were not exercised.
|
|
89
|
+
- The distribution retains 58 entrypoints, 23 playbooks and 558 originals, with 592 generated files, including audit snapshots, stable submission admission and project-local command capture. Original hashes, generated bytes and helper permissions are checked. All 919 batch-five tests, type checking and build pass; the earlier 909-test batch and 19 focused follow-up checks remain recorded. The initial 58-scenario independent checks total 155: 154 pass and the API migration assertion fails. These checks do not replace phase and scope review.
|
|
90
|
+
- A third batch reruns eight priority entrypoints with 20 passing baseline assertions. The converter now preserves why's code-anchor step, and source-only contracts are inside the actual role templates. Three video slides and two transitions were independently decoded and viewed; 16 checks pass, without permanent shell cleanup or shared-name process termination. Eight snapshot-helper checks cover append/tamper/CRLF/Unicode behavior; the complete 23-row trail receives 12 provenance/behavior checks plus per-row semantic review. Structural validity is not claim verification.
|
|
91
|
+
- Live MCP approval and cancellation now pass six checks; the browser observes `waiting_confirmation → cancelling → cancelled`, and the pending probe never executes. Acceptance found a changed-content cache bug in the generated example backend. After a manual repair, 13 checks pass; the product workflow now specifies fingerprints, serialized admission and original-input retries. This is neither a newly found core-service defect nor an autonomous first-pass success. Remote deployment and live injection of every error status remain untested.
|
|
92
|
+
- Minimum `0.2.1-alpha.1` reruns a seven-file how scenario with the final runtime candidate: 14 independent checks pass, native command results are used directly, the source/tree stays unchanged, and two children use only read/glob/grep/send_message. Model adherence limits remain: teach/show use read-only cat/ls, and the minimum run repeats an explainer and attempts a capture write that fails with ENOENT; its handoff also undercounts children. The final package then reruns managed and synchronous return branches on the minimum host: 15 checks pass, with one delegate per case, no capture/write attempt or redispatch, and same-call final-text extraction for the synchronous result. Earlier duplicate/undercount evidence remains; the synchronous reply still exceeds its requested length. Neither hard isolation nor universal prompt compliance is established.
|
|
93
|
+
- Batch four adds a dependency-free stable submission helper to make-bot-ui, covering concurrent IDs, content conflicts, restarts, persistence failures and independent return values. The generated example completes 92 self-checks. Acceptance then finds interrupted incorrectly treated as settled and failed transports closed without DELETE. After diagnostic continuation in the original model session, 91 deterministic fixture checks, 13 independent UI checks and two recovery checks pass. The session then reaches the acceptance harness's cumulative 100-request limit without its final handoff, so this is not an autonomous full-pass claim. The final packaged helper separately passes 18 independent checks with real MCP/model calls: new and explicitly reused conversations, per-request prior/current results, refusals and session release. Fixture states are not real network-failure injection.
|
|
94
|
+
- The fourth audit covers all work/correction rows 1–28; final rows 29–30 contain review metadata only. Twenty-five snapshot, actual CLI and provenance checks pass. Replaced evidence, incorrect counts and causal descriptions remain disclosed; the reviewer verdict is PASS WITH FLAGS. Teach's four children make no writes but one still uses ls under a narrower no-shell contract. Bot development writes four global temporary responses and issues a cleanup command containing an rm fallback whose actual branch is unknown. A narrow live scenario after project-local evidence guidance gets all three HTTP refusals right but still writes a global status-probe file; its scope check remains failed. Functional checks do not establish universal scope adherence.
|
|
95
|
+
- Batch five retains unique project-local capture directories: all 34 audit captures re-verify and 14 independent provenance/CLI checks pass. The original session appends corrections for mistyped hashes and row counts; its reviewer still executes a read-only shell command, so the existing no-shell contract remains failed. The repaired MCP example checkpoint completes 96 real integration checks, 91 explicitly simulated fault checks and its final handoff, without global temporary responses or overwritten command evidence. Nineteen of 20 independent checks pass; the sole failure is that role contract. A separate real minimum-host how/capture scenario passes 16 checks for Unicode paths with spaces, literal argv, exit 0/7, exact streams, byte verification, unchanged source and a read/search-only child. These targeted checks do not establish full acceptance of all 58 workflows.
|
|
96
|
+
- The 58-scenario run covers only that macOS Web host and model, not Windows/Linux, every desktop release, all 23 playbook branches, cross-model evaluation, GitHub publication or the optional Bun watcher. Earlier minimum-host configuration/delegation evidence is retained separately; the new how run does not cover every minimum-host workflow. No effectiveness or performance improvement is established.
|
|
97
|
+
|
|
98
|
+
- The completeness review restores setup’s eight stages and 17 role categories, independent reflect synthesis, incremental history, simulator/cache branches, and cause-based retries/late-result handling. Reasoning budget, candidate count and concurrency remain distinct. Missing public model discovery means inheritance, not scanning private configuration. Long runs assume neither a scheduler nor a private agent store.
|
|
99
|
+
|
|
100
|
+
- Follow-up live-model checks: latest-host setup preserves the full role map and public capability-discovery boundary; reflect runs three independent reviews plus a fourth synthesizer, routes structural proposals to Backlog and makes no Skill edits before approval. Minimum `0.2.1-alpha.1` rechecks the new setup’s 17 roles, separate budget/panel/concurrency values and existing notes. Initial discovery/classification failures and acceptance-script format assumptions remain recorded; a completion marker alone is not acceptance evidence.
|
|
101
|
+
|
|
102
|
+
## November 9, 2026 · Latest-host rerun
|
|
103
|
+
|
|
104
|
+
This run uses `main@8d28e47`, including the oil-ui `0.32.0` replacement. The fixed test package has SHA-256 `3b19a6c04b960202d87e13bb17e59085f7378503aaf8316a9c0d78220f6c50d5`. It is not the original v0.3.11 Release archive; no version bump or republication was performed.
|
|
105
|
+
|
|
106
|
+
At checking time, official [npm](https://www.npmjs.com/package/@deepseek-ai/dsh) `latest`/`next` and the [most recent GitHub Release](https://github.com/deepseek-ai/deepseek-harness/releases/tag/dsh-v0.2.2-rc.1) are all `0.2.2-rc.1`, released November 4, 2026. The alpha tag is `0.2.2-alpha.3`; no later release was found. rc.1 changes Loader, tool execution, and session projections but retains the legacy projection registration used by the plugin. No plugin runtime change is required within the tested scope below.
|
|
107
|
+
|
|
108
|
+
| Complete host | Actual version | Result |
|
|
109
|
+
|---|---|---|
|
|
110
|
+
| Official Web | `0.2.2-rc.1` | Pass |
|
|
111
|
+
| Official Web · alpha channel | `0.2.2-alpha.3` | Pass |
|
|
112
|
+
| Official Desktop · macOS arm64 | `0.2.2-rc.1` | Pass |
|
|
113
|
+
| DSH NEXT · macOS universal archive | `2.0.22-next`, bundled `0.2.2-rc.1` | Pass |
|
|
114
|
+
|
|
115
|
+
- **Complete flow**: the same package runs through actual Loader, Agent, tools, PTC, and session storage. Checks cover standard/PTC/minimal/Super Code/renamed-copy presets, installation and reinstall backups, budgets and deletion settings, parent/child histories, compaction, legacy memory CRUD/conflicts/scoping, cold restarts, plugin disable/re-enable, and physical removal followed by preserved history and official-standard continuation. Super Code shows one recovery notice; minimal excludes revoked plugin rules. The real deferred Skill tool loads oil-ui, verifying its body, provider, relative resources, and installed version.
|
|
116
|
+
- **MCP boundaries**: each passing full host additionally checks port conflicts, token rotation, and directory consent, plus 39 checks across admission, persistence failures, approval lifecycle, directory changes, and storage locks. Coverage includes cancellation, disconnect, revocation, idempotency, and no replay after restart.
|
|
117
|
+
- **Frontend and baseline**: official React, controls, and themes from `0.1.5-alpha.1`, `0.2.2-rc.1`, and `0.2.2-alpha.3` each pass 14 interaction groups with fixture services. These cover five settings tabs, autosave/failures, custom dropdowns, Chinese/English, themes, 440px settings layouts, 10,000-row virtualization, circle animation, exactly one open section, and legacy memory CRUD, without page errors. These are not three complete hosts. All 560 unit tests, type checking, and build pass.
|
|
118
|
+
- **Provenance and versions**: the official arm64 ZIP matches its nightly feed SHA-512 and the original application passes deep signature verification; all 321 DSH components are rc.1. The NEXT download channel points to `2.0.22-next`, all 330 DSH components are rc.1, and the original application passes deep signature verification. Its API supplies no public digest; local SHA-256 only pins the tested sample. Both Web graphs contain 320 DSH components, all at their target version.
|
|
119
|
+
- **Limits**: full hosts use a local deterministic model adapter, without external-model calls or effectiveness evaluation. This run does not repeat every historical complete host, latest native Windows/Linux processes, or native directory picking. The rc.1 host requires Node `>=24.9` when upgrading Web; the plugin retains its Node range for older hosts.
|
|
120
|
+
|
|
121
|
+
## 0.3.11 · 2026-11-06
|
|
122
|
+
|
|
123
|
+
This release includes successive fixes from November 4–6. Results below apply to the code tested at each stage; full-host results from an earlier development package are not presented as a complete platform rerun of the final release package.
|
|
124
|
+
|
|
125
|
+
- **Release candidate**: all 560 tests, type checking, build, and client syntax checks pass. The package, lockfile, directory preset, and declarative preset all use 0.3.11.
|
|
126
|
+
- **Version contracts and frontends**: 26 exact published Harness versions, from `0.1.5-alpha.1` through `0.2.2-alpha.3`, cover the listed 0.1.5, 0.1.6, 0.1.7, 0.2.0, and 0.2.1 alpha/rc releases, plus `0.2.2-alpha.2`, `0.2.2-rc.1`, and `0.2.2-alpha.3`. Change-specific checks cover Session/LLM recovery, task projections, usage, compaction cancellation, and legacy memory. Frontend checks use actual official React and plugin components with fixture Remote boundaries; they are not 26 complete hosts.
|
|
127
|
+
- **Recent targeted evidence**: PTC history has 26-version contract and frontend checks; fork usage has 157 contract checks across 26 versions; compaction cancellation has 170 checks; directory aliases have 156 frontend checks; memory capacity has 156 storage-contract checks plus frontend interactions on the earliest/latest versions; settings reset has 182 frontend checks across 26 versions. All pass. Counts from separate batches are not added up as distinct hosts.
|
|
128
|
+
- **Full Web and macOS hosts**: uninstall-recovery and MCP lifecycle fixes were checked on Web `0.1.5-alpha.1`, `0.2.1-rc.5`, `0.2.2-rc.1`, and `0.2.2-alpha.3`, official macOS Desktop `0.2.1-rc.5`, and NEXT `2.0.19-next` (bundled `0.2.1-rc.2`). Later task-history/rendering fixes additionally checked real tools, three turns, and cold restart on the earliest/latest Web hosts and official macOS rc.5. Subsequent usage, compaction, directory, memory-capacity, and reset fixes did not rerun the full desktop matrix.
|
|
129
|
+
- **Windows and Linux**: an earlier stage ran actual official x64 Desktop rc.5 and NEXT `2.0.21-next` (bundled rc.4) in a Windows 11 ARM64 VM, with 37 passing groups each for MCP, Bash, PowerShell, deletion protection, physical uninstall, cold restart, and history continuation. All 118 Windows regression tests pass, with three POSIX-specific skips, plus 22 PowerShell 5/7 comparisons. A staged non-root Linux ARM64 full suite passes 527 tests. Later fixes did not rerun those complete operating-system suites.
|
|
130
|
+
- **Preservation and limits**: within the accepted scenarios, parent/child history remains readable; Super Code continues with official Standard after uninstall and shows one notice, while Minimal revokes stale plugin rules. Public memory remains legacy CRUD. Host models use deterministic adapters, with no external-model calls, new 100-task evaluation, Safari-specific acceptance, or per-version historical native Windows desktop acceptance.
|
|
131
|
+
|
|
56
132
|
## 0.3.10 · 2026-11-03
|
|
57
133
|
|
|
58
134
|
These Windows Bash checks ran at successive stages on November 2–3, 2026. Each batch retains its code baseline and scope; historical release records below are unchanged.
|
|
@@ -1,10 +1,12 @@
|
|
|
1
1
|
# Evaluation Results
|
|
2
2
|
|
|
3
|
+
Model names are anonymized; lettered labels distinguish evaluation models.
|
|
4
|
+
|
|
3
5
|
[中文](../EvaluationResults.md) · English
|
|
4
6
|
|
|
5
7
|
## Pro100: continuous-environment comparison
|
|
6
8
|
|
|
7
|
-
All runs use Harness `0.2.1-rc.2`, `
|
|
9
|
+
All runs use Harness `0.2.1-rc.2`, `Evaluation model B`, high reasoning effort, and legacy budgets. Each group reuses its environment continuously across tasks. These are full 100-task results, sorted by tasks passed.
|
|
8
10
|
|
|
9
11
|
| Configuration | Passed/valid | Mean total tokens (M) | Mean time (min) | Mean model calls | Mean tool calls | Cache rate |
|
|
10
12
|
|---|---:|---:|---:|---:|---:|---:|
|
|
@@ -38,8 +40,8 @@ Comparisons on the same host keep model, reasoning effort, and budgets fixed whi
|
|
|
38
40
|
|
|
39
41
|
### Historical process
|
|
40
42
|
|
|
41
|
-
1. **Old-host baseline**: official presets and plugin versions were evaluated on DSH `0.1.5-rc.2` with `
|
|
42
|
-
2. **Regression after the host upgrade**: on DSH `0.2.1-rc.2` with `
|
|
43
|
+
1. **Old-host baseline**: official presets and plugin versions were evaluated on DSH `0.1.5-rc.2` with `Evaluation model B`. The Super Code `0.3.0` candidate passed 56 tasks, above the best official result (Standard + high, 51).
|
|
44
|
+
2. **Regression after the host upgrade**: on DSH `0.2.1-rc.2` with `Evaluation model B`, under default budgets Standard fell to 46 and Super Code `0.3.4` to 41, below Standard.
|
|
43
45
|
3. **Root-cause analysis**: a host probe showed that the new host tightened context budgets (see [Contents of the legacy budgets](#contents-of-the-legacy-budgets)), identifying budgets as one cause of the regression.
|
|
44
46
|
4. **Retest with legacy budgets**: both sides switched to legacy budgets. Standard stayed at 46; Super Code `0.3.5` rose to 49. Based on this, the plugin uses legacy budgets by default from `0.3.6`.
|
|
45
47
|
5. **Cross-model check**: compared with native ZCode on `glm-5.3-flash` to test whether the approach depends on a specific model.
|
|
@@ -56,7 +58,7 @@ Comparisons on the same host keep model, reasoning effort, and budgets fixed whi
|
|
|
56
58
|
|
|
57
59
|
## New DSH and budgets
|
|
58
60
|
|
|
59
|
-
DSH `0.2.1-rc.2` · model `
|
|
61
|
+
DSH `0.2.1-rc.2` · model `Evaluation model B` (API ID `deepseek/Evaluation model A`) · high.
|
|
60
62
|
|
|
61
63
|
| Metric (per-task mean) | Standard · default | Super Code 0.3.4 · default | Standard · legacy | Super Code 0.3.5 · legacy |
|
|
62
64
|
|---|---:|---:|---:|---:|
|
|
@@ -99,7 +101,7 @@ The same task has passed in one run and failed in another. Because configuration
|
|
|
99
101
|
|
|
100
102
|
## Official presets
|
|
101
103
|
|
|
102
|
-
DSH `0.1.5-rc.2` · `
|
|
104
|
+
DSH `0.1.5-rc.2` · `Evaluation model B`.
|
|
103
105
|
|
|
104
106
|
| Metric (per-task mean) | Minimal + high | Minimal + max | Standard + high | Standard + max | PTC + high | Create + high |
|
|
105
107
|
|---|---:|---:|---:|---:|---:|---:|
|
|
@@ -126,7 +128,7 @@ DSH `0.1.5-rc.2` · `deepseek-v4.1-flash`.
|
|
|
126
128
|
|
|
127
129
|
## Historical versions
|
|
128
130
|
|
|
129
|
-
DSH `0.1.5-rc.2` · `
|
|
131
|
+
DSH `0.1.5-rc.2` · `Evaluation model B` · high. Times use the historical raw convention (see [Methodology](#methodology)); don't compare them with the net times above.
|
|
130
132
|
|
|
131
133
|
| Metric (per-task mean) | Minimal + high | 0.0.9 | 0.1.2 | 0.2.0 layered memory | 0.3.0 Batch.3 |
|
|
132
134
|
|---|---:|---:|---:|---:|---:|
|
package/docs/en/UsageGuide.md
CHANGED
|
@@ -22,6 +22,12 @@ The plugin has no model settings of its own. If you already have a working model
|
|
|
22
22
|
|
|
23
23
|
Child Agents use the parent's model by default. Harness manages permissions and tools.
|
|
24
24
|
|
|
25
|
+
### Image input
|
|
26
|
+
|
|
27
|
+
For a model that supports vision, enable **Image** under **Input types** in Harness **Settings → Models**, then select that model in the conversation. Add an image through the composer's **+** menu, paste a screenshot, or drag an image in. Preview or remove it before sending. Super Code uses the host's attachment, resizing and sending pipeline.
|
|
28
|
+
|
|
29
|
+
The model reads project images through native `read_image`, supporting PNG, JPEG, WebP and GIF. Screenshots and decoded video frames require actual image inspection; a path or text summary is not a visual check. If the host says the model does not declare image input, check the selected model's capability setting first. That error does not establish that the underlying model lacks vision. Keep image input disabled for text-only models.
|
|
30
|
+
|
|
25
31
|
## Can't find the preset
|
|
26
32
|
|
|
27
33
|
First make sure the plugin is enabled, then check your host version against [Compatibility](Compatibility.md). Then:
|
|
@@ -74,13 +80,27 @@ Settings shows the **plugin version** and the **preset version** separately.
|
|
|
74
80
|
|
|
75
81
|
**Safety**:
|
|
76
82
|
|
|
77
|
-
-
|
|
83
|
+
- Directory preset status, language synchronization, and reinstallation verify the install record, UUID, path, and directory identity. Declarative presets verify the source marker or install record. Older copies and same-name declarations with unverified ownership are left unchanged and remain readable.
|
|
78
84
|
- The old content is backed up in `.super-code-backup-*`: under the user preset root for directory hosts, under the current profile for declarative hosts (ownership records in `.super-code-presets.json`).
|
|
79
|
-
-
|
|
85
|
+
- Failed installs roll back their writes and check directory identity before cleanup; substituted directories are preserved. The host then attempts to reload the restored configuration. An originally absent configuration file stays absent. After a crash, or if ownership records remain unwritable, inspect the backup before restoring manually.
|
|
86
|
+
|
|
87
|
+
### Continuing after uninstall
|
|
88
|
+
|
|
89
|
+
After loading a plugin version with recovery support, you can still read existing history when Super Code is uninstalled. Former Super Code conversations continue with the official Standard preset and display a one-time switch notice. The model, working directory and host permissions are preserved. Conversations already using an official preset keep that preset.
|
|
90
|
+
|
|
91
|
+
Turning off deletion protection, disabling its official-preset scope, or disabling or uninstalling the plugin revokes previously injected deletion rules on the next continuation, including Minimal's rules. Switching between strict and relaxed modes retires the previous rule; cold restarts do not add the same rule again. Original history and your own deletion instructions are preserved. If an older rule has already been compacted into a summary, an explicit revocation is added without discarding the summary's other context.
|
|
92
|
+
|
|
93
|
+
Disabling or uninstalling the plugin also releases its command filters, budget adapters, and MCP service. Host permission restrictions and changes owned by other plugins are preserved.
|
|
94
|
+
|
|
95
|
+
If the plugin is reinstalled or the selected preset changes during recovery, the current installation and latest selection take precedence over the fallback. Recovery module updates retain existing conversation registrations and stop late writes from the retired module.
|
|
96
|
+
|
|
97
|
+
If another process changes local recovery or preset ownership records while DSH is running, the plugin stops writing and preserves those files. Check the files, then restart DSH to reload them. An unrelated broken preset does not prevent other usable conversations from being registered.
|
|
98
|
+
|
|
99
|
+
The profile retains `.super-code-recovery` and its configuration entry so recovery works after a cold start without the npm package. It restores registered conversations and revokes old plugin deletion rules; it contains no Super Code tools or model configuration. An upgrade registers older conversations whose preset definitions still exist. If a preset was deleted or renamed before registration, first restore its definition from the installation backup, then reinstall and load the plugin to register the conversation. If Standard is also unavailable, the error is preserved rather than silently choosing another preset.
|
|
80
100
|
|
|
81
101
|
## Sidebar
|
|
82
102
|
|
|
83
|
-
In the right sidebar choose **Super Code**.
|
|
103
|
+
In the right sidebar choose **Super Code**. Exactly one of the three sections stays open, Tasks by default. Clicking the open heading keeps it expanded. Switching keeps reading position, filters, and drafts. The UI follows Harness's Chinese/English setting.
|
|
84
104
|
|
|
85
105
|
### Tasks
|
|
86
106
|
|
|
@@ -88,6 +108,7 @@ Read-only. Shows what's already recorded in the session:
|
|
|
88
108
|
|
|
89
109
|
- **Goal**: the recorded task goal, or the user's original message if there is none.
|
|
90
110
|
- **Steps**: todos the model wrote down, shown as done/total. No steps means no invented plan or progress.
|
|
111
|
+
- **Earlier requests**: prior user requests and their recorded steps stay visible as history, separate from current progress.
|
|
91
112
|
- **Tool calls**: success, failure, and running counts grouped by tool.
|
|
92
113
|
- **Files**: successful file changes that can be confirmed from tool arguments or diffs, including nested PTC calls.
|
|
93
114
|
|
|
@@ -100,11 +121,11 @@ Notes:
|
|
|
100
121
|
|
|
101
122
|
### Agent execution
|
|
102
123
|
|
|
103
|
-
The Agent tree, with status, usage, and cache rate for each Agent.
|
|
124
|
+
The Agent tree, with status, usage, and cache rate for each Agent. Usage counts only calls made by that Agent; forked history is not charged again to the child or the tree total.
|
|
104
125
|
|
|
105
126
|
- Drag empty space to pan; zoom with the wheel or buttons.
|
|
106
127
|
- Click a node to open its details in a new sidebar tab. The main conversation stays put.
|
|
107
|
-
- Details are shown as a chat: user task, Agent replies, expandable tool calls and results. The header shows status, tokens, and cache; open **Details** for more usage, task records, and memory activity.
|
|
128
|
+
- Details are shown as a chat: user task, Agent replies, expandable tool calls and results, including PTC sub-calls and terminal failures. Harness's Markdown and code components render lists, tables, and highlighted code, while tool arguments and output remain literal. The header shows status, tokens, and cache; open **Details** for more usage, task records, and memory activity.
|
|
108
129
|
- Running animations respect the system's reduced-motion setting.
|
|
109
130
|
|
|
110
131
|
The [task](../images/task-status.png) and [tree screenshots](../images/agent-tree.png) render the current plugin with official frontend components and sample data. They illustrate the UI, not model quality.
|
|
@@ -181,6 +202,7 @@ maxContextBytes: 32768 # Super Code: task-memory context bytes
|
|
|
181
202
|
```
|
|
182
203
|
|
|
183
204
|
- A shorter deadline set explicitly on a call still applies.
|
|
205
|
+
- After disabling or uninstalling the plugin, PTC calls whose execution inputs have not yet been resolved use the host deadline. Already-started calls keep their original deadline and are not restarted to restore settings.
|
|
184
206
|
- Older hosts time PTC by busy CPU time; newer hosts by elapsed time. The two aren't comparable.
|
|
185
207
|
- Raising `maxTasks` or `maxContextBytes` uses more context. The defaults are usually fine.
|
|
186
208
|
|
|
@@ -240,10 +262,13 @@ Under the **Connection** tab:
|
|
|
240
262
|
|
|
241
263
|
**Allow caller approval** is off by default. When enabled, an exact one-time tool approval for a delegated task can be sent to the caller through an interactive form or `dsh_approve`. Host policy remains authoritative, and directory consent always stays in DSH.
|
|
242
264
|
|
|
265
|
+
MCP tasks and connection settings are stored in the DSH profile. Keep this profile on a local filesystem with atomic hard-link support, such as APFS, NTFS or ext4, and do not share it across machines. exFAT and FAT cannot provide this lock mechanism; the startup log explains how to move the profile. This requirement applies to profile storage, not to the working directories you grant access to.
|
|
266
|
+
|
|
243
267
|
Directories:
|
|
244
268
|
|
|
245
269
|
- The DSH workspace list is reread every time you open the tab. On first setup, existing workspaces are preselected; workspaces added later are **not** granted access automatically.
|
|
246
270
|
- Add directories with the directory picker. Uncheck to revoke; unchecking the last one also turns MCP off.
|
|
271
|
+
- After revocation, the old directory request reports rejection. The caller must submit a new request to ask for access again.
|
|
247
272
|
|
|
248
273
|
Connections:
|
|
249
274
|
|
|
@@ -251,7 +276,7 @@ Connections:
|
|
|
251
276
|
- Disconnect clients from the Connection tab; idle connections drop after 10 minutes. Disconnecting doesn't cancel accepted tasks.
|
|
252
277
|
- "Connected conversations" on Home means the linked MCP connection is still online, regardless of whether the task finished. After disconnect they count as past conversations.
|
|
253
278
|
|
|
254
|
-
Port conflicts are reported directly. Use the URL shown on the page.
|
|
279
|
+
Port conflicts are reported directly. Choose another port, or resolve the conflict and click **Retry**. If settings were saved but connection cleanup failed, **Retry** restores the connection using those settings. Failed saves retain your draft for retry. Use the URL shown on the page.
|
|
255
280
|
|
|
256
281
|
### Configure the client
|
|
257
282
|
|
|
@@ -267,10 +292,10 @@ Whether a client can set up MCP from the prompt by itself depends on the client.
|
|
|
267
292
|
|---|---|
|
|
268
293
|
| `dsh_status` | Inspect directories, policies, capacity, blocking tasks, and recovery guidance |
|
|
269
294
|
| `dsh_models` | List exact model/effort IDs for `dsh_run` and `dsh_send`; omission retains the current/default selection |
|
|
270
|
-
| `dsh_read` | Page through owned conversations and managed children, including public messages, tool results, and failure details; excludes reasoning and private configuration |
|
|
295
|
+
| `dsh_read` | Page through owned conversations and managed children, including public messages, tool calls/results (also PTC sub-calls), and failure details; excludes reasoning and private configuration |
|
|
271
296
|
| `dsh_approve` | Approve or reject one exact pending operation only when caller approval is enabled |
|
|
272
297
|
| `dsh_sessions` | Call first after connecting: lists recent conversations per directory with status, whether they can be reused, connection capacity, and task concurrency |
|
|
273
|
-
| `dsh_run` | Start a task. Pass `taskId` to reuse a specific conversation, or `newConversation: true` for a new one (passing neither also creates new).
|
|
298
|
+
| `dsh_run` | Start a task. Pass `taskId` to reuse a specific conversation, or `newConversation: true` for a new one (passing neither also creates new). `newConversation: false` requires `taskId` and never creates or automatically picks the latest conversation. Same `requestId` + same input won't dispatch twice; different input is a conflict |
|
|
274
299
|
| `dsh_wait` | Read task status, output, workspace changes, and new events, waiting up to 30 seconds. Without a task ID, lists all tasks page by page |
|
|
275
300
|
| `dsh_send` | Add a follow-up or continue in the same conversation, with a new `requestId`. Never approves permissions for you |
|
|
276
301
|
| `dsh_request_directory` | Ask for a new working directory; you approve it in DSH |
|
|
@@ -280,6 +305,8 @@ Whether a client can set up MCP from the prompt by itself depends on the client.
|
|
|
280
305
|
|
|
281
306
|
The client calls `dsh_request_directory` with a `requestId`, an existing absolute `path`, and a `reason`. DSH shows a global dialog (Settings doesn't need to be open) with the client name, directory, and reason.
|
|
282
307
|
|
|
308
|
+
Before approval, DSH rechecks the requested directory's identity and the request status. Replacing the directory at the same path, expiry, or withdrawal prevents the old request from granting access; use a new `requestId` to request consent again. Ordinary file changes inside that directory do not invalidate consent.
|
|
309
|
+
|
|
283
310
|
- Access is granted only when you click **Allow access**. A model's auto-approval can't do it for you.
|
|
284
311
|
- Repeat the same call to check status: `pending` / `approved` / `rejected` / `expired`.
|
|
285
312
|
- Tasks can't run in that directory until it's approved.
|
|
@@ -295,6 +322,9 @@ The client calls `dsh_request_directory` with a `requestId`, an existing absolut
|
|
|
295
322
|
- `finished`: execution ended, but `acceptance` is always `not-verified`. The caller must check the result.
|
|
296
323
|
- Returned file info is an observation of the Git workspace, including changes that existed before the task, so it doesn't prove the task made them. Non-Git directories or exceeded limits are marked unavailable.
|
|
297
324
|
- Wait timeouts and client disconnects don't cancel tasks. Turning off the connection just stops new requests.
|
|
325
|
+
- Requests still being prepared recheck authorization before creating a conversation, selecting a model, and sending a prompt. Closing the service, revoking its directory, or disconnecting stops unsent prompts; submitted tasks keep running. Reconnecting never automatically resends a saved intent, and an unsent continuation preserves the previous turn's state.
|
|
326
|
+
- Creation, continuation, and cancellation stop if saving their intent fails. A restart during continuation preparation preserves the previous turn's tracking. An unconfirmed new prompt never inherits completion from the previous turn. Task records share a 64 MiB read/write limit; oversized writes are refused without replacing the saved file.
|
|
327
|
+
- Cancelling an MCP wait or approval request prevents a late form answer from granting permission. Service, directory and caller-approval settings are checked again before the decision. A one-time approval already decided is neither undone nor granted again by a later cancellation.
|
|
298
328
|
- After a restart, prompts are never resent automatically. Find the ID via `dsh_sessions` or the task list, check the state, then continue explicitly. If the state can't be confirmed, it shows `interrupted` or `unavailable`; tasks not confirmed as stopped keep their concurrency slot.
|
|
299
329
|
|
|
300
330
|
On capacity refusal, retain the same `requestId` and input and wait through `dsh_status` and `dsh_wait`. Do not cancel other clients' tasks or reconfigure the serving app. Release SDK sessions with `transport.terminateSession()` before `client.close()`; closing alone does not release server capacity. The packaged `super-code-mcp` CLI accepts JSON on stdin and reads its token from the private `DSH_MCP_TOKEN` environment variable.
|
|
@@ -305,17 +335,63 @@ On capacity refusal, retain the same `requestId` and input and wait through `dsh
|
|
|
305
335
|
- Limits: 200 task records, 128 follow-ups per task, the latest 200 events, the last 12,000 output characters. Directory-request history keeps up to 100 entries, in memory only.
|
|
306
336
|
- When task records are full, new tasks are rejected explicitly; old records are never dropped silently.
|
|
307
337
|
|
|
338
|
+
## Preset Skill packages
|
|
339
|
+
|
|
340
|
+
Open **Settings → Super Code → Preset Skills**. All packages are off by default; existing saved choices are preserved. Individual Skills and workflows have separate groups; workflows remain whole-package switches:
|
|
341
|
+
|
|
342
|
+
| Category | Name | Purpose | Default |
|
|
343
|
+
|---|---|---|---|
|
|
344
|
+
| Skill | grill-me | Sharpen requirements, plans and decisions through rounds of questions. | Off |
|
|
345
|
+
| Skill | OpenSpec | Organize requirements, design, tasks, implementation and verification around specifications. | Off |
|
|
346
|
+
| Skill | oil-ui | Design, improve and review frontend interfaces. | Off |
|
|
347
|
+
| Workflow | Matt Pocock Skills | Question requirements, plan, develop, test, debug and review code through complete engineering workflows. | Off |
|
|
348
|
+
| Workflow | PStack | Collaborative architecture, development, verification and review workflows. | Off |
|
|
349
|
+
|
|
350
|
+
The independent grill-me switch reuses Matt Pocock 1.3.2's original `grill-me` entry and its `grilling` dependency without enabling the whole workflow package. The complete Matt Pocock package still includes both; enabling both switches does not register duplicates.
|
|
351
|
+
|
|
352
|
+
Matt bundles the complete official plugin distribution (1.3.2, 27 Skills), not a selected subset. OpenSpec bundles its complete static skills.sh distribution (12 Skills). PStack is a Cursor plugin containing 58 standard `SKILL.md` entrypoints (0.15.36). All its Skills, references and helpers are bundled; Cursor plugins, agents and automations are not registered. Provenance, inventories and licenses are included in each package's `UPSTREAM.md` and `distribution.json` under `builtin/skills/`.
|
|
353
|
+
|
|
354
|
+
Changes save automatically. Once accepted, they update the Skill catalog, subsequent loads and native slash menus in existing conversations without refreshing the page, creating a conversation or switching presets. Disabling a package does not retract instructions already loaded into a conversation; start a fresh conversation when you need an empty context. Project/user Skills are unaffected, including same-name overrides. The original invocation rules remain: some Matt Skills require an explicit user invocation instead of automatic model selection.
|
|
355
|
+
|
|
356
|
+
Enabled packages are copied in full to `skills/dsh-super-code/` under the DSH user home, preserving references and helper paths. A custom `DSH_HOME` is respected. **Open Skill directory** opens `skills/` in the file manager on the device running DSH; it is unavailable on headless hosts. Disabling removes unchanged plugin copies. User edits and existing conflicting directories are preserved and reported; inspect them before retrying sync. Uninstalling the plugin stops registering these nested resources.
|
|
357
|
+
|
|
358
|
+
In a main conversation using the Super Code preset, type `/` to select a Skill from DSH’s native menu, or enter `/oil-ui`, `/grill-me`, `/openspec-propose` or `/poteto-mode` followed by your task. Disabled packages no longer supply commands or bodies. Search by package with `/pstack` or `/mattpocock` to find enabled Skills, then pick one to insert its real `/skill-name`. Package names are search terms, not standalone commands. The plugin uses public DSH APIs to supplement package search and refresh the native menu without restarting the host or changing drafts or model calls. In-flight model requests and instructions already in context remain.
|
|
359
|
+
|
|
360
|
+
Native same-name precedence is preserved: project/user Skills take priority. With Matt and PStack both enabled, `/tdd` and `/teach` use the earlier-registered Matt version; disable Matt to use PStack’s versions.
|
|
361
|
+
|
|
362
|
+
PStack uses a converted edition for **DSH `0.2.1-alpha.1` and later**, retaining all 58 entrypoints and 23 playbooks. The adapter handles delegation, model selection, history access, Skill paths and long-run checkpoints. `/setup-pstack` writes only optional project `.dsh/pstack.md` preferences; `/make-bot-ui` uses the plugin's MCP connection. Models inherit the host selection by default and the root schedules dependent phases. Without history tools, workflows use explicit handoffs or project artifacts rather than private host records. Original upstream files remain for upgrade comparison; no global prompt is changed.
|
|
363
|
+
|
|
364
|
+
Configuration retains all 17 upstream role categories. Reasoning budget, panel size and concurrency are distinct; when per-call model or effort selection is unavailable, the workflow explicitly inherits the host. Reflect retains three reviews followed by independent synthesis. A host without timed resumption can preserve a checkpoint but cannot promise scheduled work after the turn ends.
|
|
365
|
+
|
|
366
|
+
Browser, Git/GitHub and model-checking workflows still require real tools. Helpers may need Bun, authenticated gh, mise/Java/TLC or Pele, subject to the environment and user authorization. Enabling the package runs no helpers or installs. Missing capabilities are reported; sequential self-review is not presented as independent or cross-model verification.
|
|
367
|
+
|
|
368
|
+
The plugin manages directory synchronization globally; reinstalling a preset is unnecessary. A preset must still expose the host's native Skill tools to load and invoke Skills in that conversation. The Super Code preset includes them.
|
|
369
|
+
|
|
370
|
+
Each bundled package displays its own pinned version. The matching OpenSpec CLI is installed with the plugin and exposed as `openspec` inside enabled Super Code shell calls, with no global installation. Switching, listing and loading Skills execute no commands and change no project files, dependencies or configuration. Run `openspec init` only after an explicit user request. Matt's tracker workflows may require an authenticated `gh`/`glab`; its setup workflow runs only when explicitly requested. Package switches do not grant permission for commands, commits, remote writes, or paid services. Skill resources update with this plugin.
|
|
371
|
+
|
|
308
372
|
## Frontend Skill
|
|
309
373
|
|
|
310
|
-
The plugin
|
|
374
|
+
The plugin bundles [oil-ui](https://github.com/oil-oil/oil-ui) **0.32.0**, replacing `super-code-frontend` for designing, improving, and reviewing pages, apps, dashboards, and components. It covers:
|
|
311
375
|
|
|
312
|
-
-
|
|
313
|
-
-
|
|
314
|
-
-
|
|
376
|
+
- User tasks, design direction, visual hierarchy, and key interactions
|
|
377
|
+
- On-demand style comparison pages with local assets for offline viewing
|
|
378
|
+
- Reviewing and refining UI using rendered screenshots and interaction results
|
|
315
379
|
|
|
316
|
-
|
|
380
|
+
Enable oil-ui in Preset Skills settings first; it then loads through Harness's native Skill mechanism and follows the project's framework and implementation conventions. Normally only its name and short description go to the model; the body and relevant references load when a task matches. You can also ask for it directly: "use oil-ui".
|
|
317
381
|
|
|
318
|
-
-
|
|
382
|
+
- Existing directory presets are not overwritten automatically. After updating to a plugin containing oil-ui, back up customizations and reinstall the preset from Settings. Declarative presets read the resources directly from the current plugin package.
|
|
319
383
|
- A project or user skill with the same name overrides the bundled one, following host precedence.
|
|
320
|
-
-
|
|
384
|
+
- This bundled copy updates with the plugin; it does not check for updates separately or run the upstream installer. See [provenance, adaptations, and licenses](../../builtin/skills/oil-ui/UPSTREAM.md).
|
|
385
|
+
- The design guidance needs no extra dependencies. The optional comparison generator requires Python 3.10+; screenshot and image-processing scripts need Node.js 22+ and Chrome, Chromium, or Edge. Some media operations also need ffmpeg/ffprobe. Host tools can be used when these are unavailable, with unverified behavior stated explicitly.
|
|
386
|
+
- Optional media searches contact their providers. Oil image generation needs an account and explicit authorization to spend credits; plugin startup never invokes it. The upstream Pro recommendation script writes a one-time local marker only when used as directed by the Skill.
|
|
321
387
|
- Whether it improves frontend quality needs a separate real-task evaluation; install tests and SWE scores can't show that.
|
|
388
|
+
|
|
389
|
+
## Direct calls and action-local help
|
|
390
|
+
|
|
391
|
+
Both state tools support `{"action":"help","forAction":"read"}`. One help response includes fields, an example, outputs and recovery rules without accessing state or retrying persistence. Replace example sources/identities/versions with observed values.
|
|
392
|
+
|
|
393
|
+
`super_code_task {"action":"read"}` reads the focused task; no focus is an explicit error, never a guess. Updates still require an observed expectedRevision. Shape validation precedes task barriers; errors include repair examples. No automatic alias/type/source/revision correction is performed.
|
|
394
|
+
|
|
395
|
+
`super_code_memory {"action":"read","topic":"build"}` reads a project topic without creating a task or changing focus/context injection. Omitted topic retains the focused-topic default. Explicit reads do not borrow another task's code version. details retains scope/topic; add id to read the selected entry. topic is accepted only for project read. Writes retain their existing focus, provenance and concurrency rules. All memory is historical.
|
|
396
|
+
|
|
397
|
+
Input rejection appends no new business change; checkpoint failure may follow an appended event. Confirm using list/read instead of replaying writes. Event contracts and tool names are unchanged. Local verification does not establish model quality or token savings.
|
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
@@ -0,0 +1,22 @@
|
|
|
1
|
+
<svg xmlns="http://www.w3.org/2000/svg" width="960" height="320" viewBox="0 0 960 320" role="img" aria-labelledby="title description">
|
|
2
|
+
<title id="title">dsh-super-code npm downloads</title>
|
|
3
|
+
<desc id="description">dsh-super-code · weekly · last 13 weeks. 1,225 last 7 days. Through 2026-11-11. Source: npm.</desc>
|
|
4
|
+
<style>text{font-family:system-ui,-apple-system,BlinkMacSystemFont,'Segoe UI',sans-serif;font-size:12px;fill:#9da7b3;font-variant-numeric:tabular-nums}</style>
|
|
5
|
+
<rect x=".5" y=".5" width="959" height="319" rx="12" fill="#0d1117" stroke="#30363d"/>
|
|
6
|
+
<text x="28" y="35" style="font-size:19px;font-weight:600;fill:#e6edf3">npm downloads</text>
|
|
7
|
+
<text x="28" y="58">dsh-super-code · weekly · last 13 weeks</text>
|
|
8
|
+
<text x="932" y="35" text-anchor="end" style="font-size:19px;font-weight:600;fill:#e6edf3">1,225 last 7 days</text>
|
|
9
|
+
<text x="932" y="58" text-anchor="end">Through 2026-11-11</text>
|
|
10
|
+
<path d="M68 260H926" stroke="#212830"/><text x="56" y="264" text-anchor="end">0</text>
|
|
11
|
+
<path d="M68 201.67H926" stroke="#212830"/><text x="56" y="205.67" text-anchor="end">500</text>
|
|
12
|
+
<path d="M68 143.33H926" stroke="#212830"/><text x="56" y="147.33" text-anchor="end">1,000</text>
|
|
13
|
+
<path d="M68 85H926" stroke="#212830"/><text x="56" y="89" text-anchor="end">1,500</text>
|
|
14
|
+
<polyline points="68,260 139.5,260 211,260 282.5,260 354,260 425.5,168.07 497,187.08 568.5,209.83 640,119.53 711.5,195.37 783,118.48 854.5,116.15 926,117.08" fill="none" stroke="#e05d58" stroke-width="2.5" stroke-linejoin="round" stroke-linecap="round"/>
|
|
15
|
+
<circle cx="926" cy="117.08" r="3.5" fill="#e05d58"/>
|
|
16
|
+
<text x="68" y="285" text-anchor="middle">08/19</text>
|
|
17
|
+
<text x="282.5" y="285" text-anchor="middle">09/09</text>
|
|
18
|
+
<text x="497" y="285" text-anchor="middle">09/30</text>
|
|
19
|
+
<text x="711.5" y="285" text-anchor="middle">10/21</text>
|
|
20
|
+
<text x="926" y="285" text-anchor="middle">11/11</text>
|
|
21
|
+
<text x="28" y="307">Source: npm</text>
|
|
22
|
+
</svg>
|
|
@@ -0,0 +1,22 @@
|
|
|
1
|
+
<svg xmlns="http://www.w3.org/2000/svg" width="960" height="320" viewBox="0 0 960 320" role="img" aria-labelledby="title description">
|
|
2
|
+
<title id="title">dsh-super-code npm downloads</title>
|
|
3
|
+
<desc id="description">dsh-super-code · weekly · last 13 weeks. 1,225 last 7 days. Through 2026-11-11. Source: npm.</desc>
|
|
4
|
+
<style>text{font-family:system-ui,-apple-system,BlinkMacSystemFont,'Segoe UI',sans-serif;font-size:12px;fill:#59636e;font-variant-numeric:tabular-nums}</style>
|
|
5
|
+
<rect x=".5" y=".5" width="959" height="319" rx="12" fill="#ffffff" stroke="#d8dee4"/>
|
|
6
|
+
<text x="28" y="35" style="font-size:19px;font-weight:600;fill:#1f2328">npm downloads</text>
|
|
7
|
+
<text x="28" y="58">dsh-super-code · weekly · last 13 weeks</text>
|
|
8
|
+
<text x="932" y="35" text-anchor="end" style="font-size:19px;font-weight:600;fill:#1f2328">1,225 last 7 days</text>
|
|
9
|
+
<text x="932" y="58" text-anchor="end">Through 2026-11-11</text>
|
|
10
|
+
<path d="M68 260H926" stroke="#e8ecf0"/><text x="56" y="264" text-anchor="end">0</text>
|
|
11
|
+
<path d="M68 201.67H926" stroke="#e8ecf0"/><text x="56" y="205.67" text-anchor="end">500</text>
|
|
12
|
+
<path d="M68 143.33H926" stroke="#e8ecf0"/><text x="56" y="147.33" text-anchor="end">1,000</text>
|
|
13
|
+
<path d="M68 85H926" stroke="#e8ecf0"/><text x="56" y="89" text-anchor="end">1,500</text>
|
|
14
|
+
<polyline points="68,260 139.5,260 211,260 282.5,260 354,260 425.5,168.07 497,187.08 568.5,209.83 640,119.53 711.5,195.37 783,118.48 854.5,116.15 926,117.08" fill="none" stroke="#e05d58" stroke-width="2.5" stroke-linejoin="round" stroke-linecap="round"/>
|
|
15
|
+
<circle cx="926" cy="117.08" r="3.5" fill="#e05d58"/>
|
|
16
|
+
<text x="68" y="285" text-anchor="middle">08/19</text>
|
|
17
|
+
<text x="282.5" y="285" text-anchor="middle">09/09</text>
|
|
18
|
+
<text x="497" y="285" text-anchor="middle">09/30</text>
|
|
19
|
+
<text x="711.5" y="285" text-anchor="middle">10/21</text>
|
|
20
|
+
<text x="926" y="285" text-anchor="middle">11/11</text>
|
|
21
|
+
<text x="28" y="307">Source: npm</text>
|
|
22
|
+
</svg>
|
|
Binary file
|