pstack-claude-mirror 0.0.0-stage → 0.9.133
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/.claude-plugin/marketplace.json +16 -0
- package/CHANGES.md +1110 -0
- package/LICENSE +22 -0
- package/LICENSE-cursor-team-kit +21 -0
- package/LICENSE-mirror +27 -0
- package/LICENSE-thermos +21 -0
- package/NOTICE-skills.md +13 -0
- package/NOTICE.md +62 -0
- package/README.md +84 -2
- package/UPSTREAM-README.md +243 -0
- package/bin/pstack-claude.mjs +183 -0
- package/docs/reference.md +247 -0
- package/package.json +88 -4
- package/plugins/pstack/.antigravity-plugin/plugin.json +8 -0
- package/plugins/pstack/.claude-plugin/icon.png +0 -0
- package/plugins/pstack/.claude-plugin/plugin.json +31 -0
- package/plugins/pstack/.codex-plugin/plugin.json +52 -0
- package/plugins/pstack/.github/plugin/plugin.json +15 -0
- package/plugins/pstack/.grok-plugin/plugin.json +9 -0
- package/plugins/pstack/.muse-plugin/plugin.json +381 -0
- package/plugins/pstack/README.md +27 -0
- package/plugins/pstack/agents/comment-sicko.md +34 -0
- package/plugins/pstack/agents/poteto-agent.md +8 -0
- package/plugins/pstack/agents/thermo-nuclear-code-quality-review-subagent.md +23 -0
- package/plugins/pstack/agents/thermo-nuclear-review-subagent.md +28 -0
- package/plugins/pstack/assets/pstack-icon.png +0 -0
- package/plugins/pstack/assets/pstack-icon.prompt.txt +8 -0
- package/plugins/pstack/grok/skills/pstack-routing/SKILL.md +8 -0
- package/plugins/pstack/hooks/agy-context.awk +9 -0
- package/plugins/pstack/hooks/codex-hooks.json +17 -0
- package/plugins/pstack/hooks/copilot-context.awk +44 -0
- package/plugins/pstack/hooks/copilot-hooks.json +27 -0
- package/plugins/pstack/hooks/hooks.json +16 -0
- package/plugins/pstack/hooks/json.awk +164 -0
- package/plugins/pstack/hooks/kimi-instructions.md +17 -0
- package/plugins/pstack/hooks/muse-context.awk +31 -0
- package/plugins/pstack/hooks/pre-tool-use.awk +152 -0
- package/plugins/pstack/hooks/pre-tool-use.sh +16 -0
- package/plugins/pstack/hooks/script-contracts.awk +55 -0
- package/plugins/pstack/hooks/session-start-agy.md +17 -0
- package/plugins/pstack/hooks/session-start-context.md +15 -0
- package/plugins/pstack/hooks/session-start-copilot-setup.md +1 -0
- package/plugins/pstack/hooks/session-start-copilot-sheet.md +1 -0
- package/plugins/pstack/hooks/session-start-copilot.md +3 -0
- package/plugins/pstack/hooks/session-start-minimax.md +17 -0
- package/plugins/pstack/hooks/session-start-muse-sheet.md +1 -0
- package/plugins/pstack/hooks/session-start-muse.md +17 -0
- package/plugins/pstack/hooks/session-start-opencode.md +17 -0
- package/plugins/pstack/hooks/session-start.ps1 +105 -0
- package/plugins/pstack/hooks/session-start.sh +95 -0
- package/plugins/pstack/hooks.json +10 -0
- package/plugins/pstack/models.json +67 -0
- package/plugins/pstack/omp/index.mjs +34 -0
- package/plugins/pstack/opencode/index.js +49 -0
- package/plugins/pstack/package.json +8 -0
- package/plugins/pstack/pi/agent-files.ts +117 -0
- package/plugins/pstack/pi/agent-text.ts +99 -0
- package/plugins/pstack/pi/agent-tools.ts +148 -0
- package/plugins/pstack/pi/agents.ts +486 -0
- package/plugins/pstack/pi/ask.ts +87 -0
- package/plugins/pstack/pi/child.ts +310 -0
- package/plugins/pstack/pi/config.ts +178 -0
- package/plugins/pstack/pi/index.ts +44 -0
- package/plugins/pstack/pi/one-shot.ts +90 -0
- package/plugins/pstack/pi/path-skills.ts +54 -0
- package/plugins/pstack/pi/prompt.ts +39 -0
- package/plugins/pstack/pi/schedule.ts +254 -0
- package/plugins/pstack/pi/slash.ts +92 -0
- package/plugins/pstack/pi/sleep-wait.ts +76 -0
- package/plugins/pstack/pi/worktree.ts +74 -0
- package/plugins/pstack/skills/architect/SKILL.md +100 -0
- package/plugins/pstack/skills/architect/references/design-red-flags.md +57 -0
- package/plugins/pstack/skills/architect/references/rationale-template.md +39 -0
- package/plugins/pstack/skills/architect/references/runner-prompt.md +20 -0
- package/plugins/pstack/skills/arena/SKILL.md +66 -0
- package/plugins/pstack/skills/automate-me/SKILL.md +111 -0
- package/plugins/pstack/skills/babysit/SKILL.md +68 -0
- package/plugins/pstack/skills/benchmark-checklist/SKILL.md +38 -0
- package/plugins/pstack/skills/blast-radius/SKILL.md +49 -0
- package/plugins/pstack/skills/bro/SKILL.md +6 -0
- package/plugins/pstack/skills/correct/SKILL.md +31 -0
- package/plugins/pstack/skills/create-formal-verification-skill/SKILL.md +50 -0
- package/plugins/pstack/skills/create-verification-skill/SKILL.md +51 -0
- package/plugins/pstack/skills/create-verification-skill/references/feature-map-example/README.md +47 -0
- package/plugins/pstack/skills/create-verification-skill/references/feature-map-example/create-note.md +39 -0
- package/plugins/pstack/skills/create-verification-skill/references/feature-map-example/search.md +45 -0
- package/plugins/pstack/skills/deslop/SKILL.md +24 -0
- package/plugins/pstack/skills/figure-it-out/SKILL.md +51 -0
- package/plugins/pstack/skills/fix-ci/SKILL.md +29 -0
- package/plugins/pstack/skills/fix-merge-conflicts/SKILL.md +32 -0
- package/plugins/pstack/skills/get-pr-comments/SKILL.md +23 -0
- package/plugins/pstack/skills/how/SKILL.md +54 -0
- package/plugins/pstack/skills/how/references/explainer-prompt.md +55 -0
- package/plugins/pstack/skills/how/references/explorer-prompt.md +35 -0
- package/plugins/pstack/skills/in-your-own-words/SKILL.md +6 -0
- package/plugins/pstack/skills/interrogate/SKILL.md +48 -0
- package/plugins/pstack/skills/ketchup/SKILL.md +42 -0
- package/plugins/pstack/skills/ketchup-video/SKILL.md +28 -0
- package/plugins/pstack/skills/maintain-formal-verification-skill/SKILL.md +65 -0
- package/plugins/pstack/skills/maintain-verification-skill/SKILL.md +46 -0
- package/plugins/pstack/skills/make-pr-easy-to-review/SKILL.md +59 -0
- package/plugins/pstack/skills/no-comments/SKILL.md +45 -0
- package/plugins/pstack/skills/poteto-help/SKILL.md +149 -0
- package/plugins/pstack/skills/poteto-help/references/prompting.md +51 -0
- package/plugins/pstack/skills/poteto-help/references/recipes.md +51 -0
- package/plugins/pstack/skills/poteto-mode/SKILL.md +174 -0
- package/plugins/pstack/skills/poteto-mode/playbooks/authoring-a-skill.md +12 -0
- package/plugins/pstack/skills/poteto-mode/playbooks/autonomous-run.md +13 -0
- package/plugins/pstack/skills/poteto-mode/playbooks/autopilot-full.md +31 -0
- package/plugins/pstack/skills/poteto-mode/playbooks/autopilot-stack.md +8 -0
- package/plugins/pstack/skills/poteto-mode/playbooks/babysit.md +23 -0
- package/plugins/pstack/skills/poteto-mode/playbooks/bug-fix.md +15 -0
- package/plugins/pstack/skills/poteto-mode/playbooks/eval.md +25 -0
- package/plugins/pstack/skills/poteto-mode/playbooks/feature.md +21 -0
- package/plugins/pstack/skills/poteto-mode/playbooks/hillclimb.md +21 -0
- package/plugins/pstack/skills/poteto-mode/playbooks/investigation.md +14 -0
- package/plugins/pstack/skills/poteto-mode/playbooks/multi-phase-plan.md +158 -0
- package/plugins/pstack/skills/poteto-mode/playbooks/opening-a-pr.md +34 -0
- package/plugins/pstack/skills/poteto-mode/playbooks/orchestrate.md +27 -0
- package/plugins/pstack/skills/poteto-mode/playbooks/pause-safely.md +11 -0
- package/plugins/pstack/skills/poteto-mode/playbooks/perf-issue.md +25 -0
- package/plugins/pstack/skills/poteto-mode/playbooks/prototype.md +14 -0
- package/plugins/pstack/skills/poteto-mode/playbooks/refactoring.md +18 -0
- package/plugins/pstack/skills/poteto-mode/playbooks/runtime-forensics.md +11 -0
- package/plugins/pstack/skills/poteto-mode/playbooks/session-pickup.md +11 -0
- package/plugins/pstack/skills/poteto-mode/playbooks/shipping.md +16 -0
- package/plugins/pstack/skills/poteto-mode/playbooks/trace-forensics.md +14 -0
- package/plugins/pstack/skills/poteto-mode/playbooks/visual-parity.md +11 -0
- package/plugins/pstack/skills/poteto-mode/playbooks/worktree-cleanup.md +12 -0
- package/plugins/pstack/skills/poteto-mode/references/agents/comment-sicko.md +34 -0
- package/plugins/pstack/skills/poteto-mode/references/agy-tools.md +99 -0
- package/plugins/pstack/skills/poteto-mode/references/bugbot-triage.md +142 -0
- package/plugins/pstack/skills/poteto-mode/references/codex-tools.md +109 -0
- package/plugins/pstack/skills/poteto-mode/references/copilot-tools.md +143 -0
- package/plugins/pstack/skills/poteto-mode/references/grok.md +50 -0
- package/plugins/pstack/skills/poteto-mode/references/kimi-tools.md +40 -0
- package/plugins/pstack/skills/poteto-mode/references/licenses/LICENSE +22 -0
- package/plugins/pstack/skills/poteto-mode/references/licenses/LICENSE-cursor-team-kit +21 -0
- package/plugins/pstack/skills/poteto-mode/references/licenses/LICENSE-thermos +21 -0
- package/plugins/pstack/skills/poteto-mode/references/licenses/NOTICE.md +13 -0
- package/plugins/pstack/skills/poteto-mode/references/merge-safety.md +43 -0
- package/plugins/pstack/skills/poteto-mode/references/minimax-tools.md +93 -0
- package/plugins/pstack/skills/poteto-mode/references/muse-tools.md +105 -0
- package/plugins/pstack/skills/poteto-mode/references/omp-tools.md +39 -0
- package/plugins/pstack/skills/poteto-mode/references/opencode-tools.md +29 -0
- package/plugins/pstack/skills/poteto-mode/references/pi-tools.md +117 -0
- package/plugins/pstack/skills/poteto-mode/references/resume-storage.md +20 -0
- package/plugins/pstack/skills/poteto-mode/scripts/.prettierignore +23 -0
- package/plugins/pstack/skills/poteto-mode/scripts/.prettierrc.json +3 -0
- package/plugins/pstack/skills/poteto-mode/scripts/bootstrap.ts +71 -0
- package/plugins/pstack/skills/poteto-mode/scripts/bun.lock +67 -0
- package/plugins/pstack/skills/poteto-mode/scripts/check-plan.mjs +214 -0
- package/plugins/pstack/skills/poteto-mode/scripts/check-plan.test.ts +115 -0
- package/plugins/pstack/skills/poteto-mode/scripts/check-playbooks.mjs +71 -0
- package/plugins/pstack/skills/poteto-mode/scripts/codex-session-effort.mjs +66 -0
- package/plugins/pstack/skills/poteto-mode/scripts/package.json +16 -0
- package/plugins/pstack/skills/poteto-mode/scripts/resume.mjs +139 -0
- package/plugins/pstack/skills/poteto-mode/scripts/tsconfig.json +14 -0
- package/plugins/pstack/skills/poteto-mode/scripts/watch-pr/cli.test.ts +383 -0
- package/plugins/pstack/skills/poteto-mode/scripts/watch-pr/cli.ts +266 -0
- package/plugins/pstack/skills/poteto-mode/scripts/watch-pr/deadline.ts +20 -0
- package/plugins/pstack/skills/poteto-mode/scripts/watch-pr/fakes.test-helper.ts +157 -0
- package/plugins/pstack/skills/poteto-mode/scripts/watch-pr/fresh-install.test.ts +35 -0
- package/plugins/pstack/skills/poteto-mode/scripts/watch-pr/github.test.ts +902 -0
- package/plugins/pstack/skills/poteto-mode/scripts/watch-pr/github.ts +922 -0
- package/plugins/pstack/skills/poteto-mode/scripts/watch-pr/integrity.test.ts +887 -0
- package/plugins/pstack/skills/poteto-mode/scripts/watch-pr/landing.ts +92 -0
- package/plugins/pstack/skills/poteto-mode/scripts/watch-pr/live-merge-safety.mjs +142 -0
- package/plugins/pstack/skills/poteto-mode/scripts/watch-pr/policy.test.ts +1151 -0
- package/plugins/pstack/skills/poteto-mode/scripts/watch-pr/policy.ts +956 -0
- package/plugins/pstack/skills/poteto-mode/scripts/watch-pr/render.ts +200 -0
- package/plugins/pstack/skills/poteto-mode/scripts/watch-pr/ship-pr +6 -0
- package/plugins/pstack/skills/poteto-mode/scripts/watch-pr/shipping-cli.test.ts +159 -0
- package/plugins/pstack/skills/poteto-mode/scripts/watch-pr/shipping-cli.ts +65 -0
- package/plugins/pstack/skills/poteto-mode/scripts/watch-pr/shipping.test-helper.ts +48 -0
- package/plugins/pstack/skills/poteto-mode/scripts/watch-pr/shipping.test.ts +360 -0
- package/plugins/pstack/skills/poteto-mode/scripts/watch-pr/shipping.ts +235 -0
- package/plugins/pstack/skills/poteto-mode/scripts/watch-pr/transport.test.ts +211 -0
- package/plugins/pstack/skills/poteto-mode/scripts/watch-pr/tsconfig.json +13 -0
- package/plugins/pstack/skills/poteto-mode/scripts/watch-pr/types.compile.ts +108 -0
- package/plugins/pstack/skills/poteto-mode/scripts/watch-pr/types.ts +474 -0
- package/plugins/pstack/skills/poteto-mode/scripts/watch-pr/watch-pr +6 -0
- package/plugins/pstack/skills/poteto-mode/scripts/watch-pr/wrapper.test.ts +20 -0
- package/plugins/pstack/skills/poteto-mode/scripts/worktree-audit.mjs +434 -0
- package/plugins/pstack/skills/principle-attack-the-premise/SKILL.md +21 -0
- package/plugins/pstack/skills/principle-boundary-discipline/SKILL.md +34 -0
- package/plugins/pstack/skills/principle-build-the-lever/SKILL.md +24 -0
- package/plugins/pstack/skills/principle-encode-lessons-in-structure/SKILL.md +11 -0
- package/plugins/pstack/skills/principle-exhaust-the-design-space/SKILL.md +9 -0
- package/plugins/pstack/skills/principle-experience-first/SKILL.md +19 -0
- package/plugins/pstack/skills/principle-explain-the-number/SKILL.md +18 -0
- package/plugins/pstack/skills/principle-fix-root-causes/SKILL.md +21 -0
- package/plugins/pstack/skills/principle-foundational-thinking/SKILL.md +21 -0
- package/plugins/pstack/skills/principle-guard-the-context-window/SKILL.md +12 -0
- package/plugins/pstack/skills/principle-laziness-protocol/SKILL.md +10 -0
- package/plugins/pstack/skills/principle-make-operations-idempotent/SKILL.md +22 -0
- package/plugins/pstack/skills/principle-migrate-callers-then-delete-legacy-apis/SKILL.md +14 -0
- package/plugins/pstack/skills/principle-minimize-reader-load/SKILL.md +18 -0
- package/plugins/pstack/skills/principle-model-the-domain/SKILL.md +24 -0
- package/plugins/pstack/skills/principle-never-block-on-the-human/SKILL.md +15 -0
- package/plugins/pstack/skills/principle-outcome-oriented-execution/SKILL.md +21 -0
- package/plugins/pstack/skills/principle-prove-it-works/SKILL.md +27 -0
- package/plugins/pstack/skills/principle-redesign-from-first-principles/SKILL.md +16 -0
- package/plugins/pstack/skills/principle-separate-before-serializing-shared-state/SKILL.md +16 -0
- package/plugins/pstack/skills/principle-sequence-verifiable-units/SKILL.md +17 -0
- package/plugins/pstack/skills/principle-subtract-before-you-add/SKILL.md +18 -0
- package/plugins/pstack/skills/principle-test-behavior-not-implementation/SKILL.md +20 -0
- package/plugins/pstack/skills/principle-type-system-discipline/SKILL.md +13 -0
- package/plugins/pstack/skills/recall/SKILL.md +43 -0
- package/plugins/pstack/skills/reflect/SKILL.md +89 -0
- package/plugins/pstack/skills/reflect/references/divergent-reviewer.md +38 -0
- package/plugins/pstack/skills/reflect/references/judgment-reviewer.md +37 -0
- package/plugins/pstack/skills/reflect/references/synthesizer.md +56 -0
- package/plugins/pstack/skills/reflect/references/tooling-reviewer.md +48 -0
- package/plugins/pstack/skills/reflect/scripts/claude-project-dir.mjs +121 -0
- package/plugins/pstack/skills/reflect/scripts/find-transcript.mjs +218 -0
- package/plugins/pstack/skills/setup-pstack/SKILL.md +109 -0
- package/plugins/pstack/skills/setup-pstack/copilot.md +88 -0
- package/plugins/pstack/skills/setup-pstack/references/runtimes.md +75 -0
- package/plugins/pstack/skills/setup-pstack/scripts/check-sheet.awk +10 -0
- package/plugins/pstack/skills/setup-pstack/scripts/check-sheet.sh +20 -0
- package/plugins/pstack/skills/setup-pstack/scripts/read-sheet.sh +24 -0
- package/plugins/pstack/skills/setup-pstack/scripts/sheet.awk +160 -0
- package/plugins/pstack/skills/sharpen/SKILL.md +15 -0
- package/plugins/pstack/skills/show-me-your-work/SKILL.md +89 -0
- package/plugins/pstack/skills/show-me-your-work/references/decision-log-template.tsv +1 -0
- package/plugins/pstack/skills/show-me-your-work/scripts/log.sh +58 -0
- package/plugins/pstack/skills/statechart/SKILL.md +81 -0
- package/plugins/pstack/skills/statechart/references/render.md +93 -0
- package/plugins/pstack/skills/statechart/scripts/backends/cfg.ts +33 -0
- package/plugins/pstack/skills/statechart/scripts/backends/mermaid.ts +201 -0
- package/plugins/pstack/skills/statechart/scripts/backends/plain-text.ts +72 -0
- package/plugins/pstack/skills/statechart/scripts/backends/report.ts +177 -0
- package/plugins/pstack/skills/statechart/scripts/bun.lock +17 -0
- package/plugins/pstack/skills/statechart/scripts/frontends/config.ts +276 -0
- package/plugins/pstack/skills/statechart/scripts/frontends/dot.ts +74 -0
- package/plugins/pstack/skills/statechart/scripts/frontends/marks.ts +93 -0
- package/plugins/pstack/skills/statechart/scripts/frontends/messages.ts +52 -0
- package/plugins/pstack/skills/statechart/scripts/frontends/spec.ts +114 -0
- package/plugins/pstack/skills/statechart/scripts/frontends/trace.ts +24 -0
- package/plugins/pstack/skills/statechart/scripts/frontends/value.ts +166 -0
- package/plugins/pstack/skills/statechart/scripts/frontends/verdict.ts +40 -0
- package/plugins/pstack/skills/statechart/scripts/frontends/view.ts +119 -0
- package/plugins/pstack/skills/statechart/scripts/ir.ts +547 -0
- package/plugins/pstack/skills/statechart/scripts/janitor.ts +12 -0
- package/plugins/pstack/skills/statechart/scripts/package.json +11 -0
- package/plugins/pstack/skills/statechart/scripts/passes/annotate.ts +128 -0
- package/plugins/pstack/skills/statechart/scripts/passes/label.ts +269 -0
- package/plugins/pstack/skills/statechart/scripts/passes/lift.ts +85 -0
- package/plugins/pstack/skills/statechart/scripts/passes/loop-check.ts +68 -0
- package/plugins/pstack/skills/statechart/scripts/passes/paths.ts +60 -0
- package/plugins/pstack/skills/statechart/scripts/passes/reach.ts +135 -0
- package/plugins/pstack/skills/statechart/scripts/passes/region-check.ts +97 -0
- package/plugins/pstack/skills/statechart/scripts/passes/regions.ts +295 -0
- package/plugins/pstack/skills/statechart/scripts/pipeline.ts +76 -0
- package/plugins/pstack/skills/statechart/scripts/run.ts +526 -0
- package/plugins/pstack/skills/statechart/scripts/statechart +29 -0
- package/plugins/pstack/skills/statechart/scripts/statechart.ts +171 -0
- package/plugins/pstack/skills/statechart/scripts/test/ConfigOracle.java +63 -0
- package/plugins/pstack/skills/statechart/scripts/test/chart.test.ts +1210 -0
- package/plugins/pstack/skills/statechart/scripts/test/charts/Braces.mmd +7 -0
- package/plugins/pstack/skills/statechart/scripts/test/charts/Escapes.mmd +11 -0
- package/plugins/pstack/skills/statechart/scripts/test/charts/Phases.mmd +29 -0
- package/plugins/pstack/skills/statechart/scripts/test/child-env.test.ts +15 -0
- package/plugins/pstack/skills/statechart/scripts/test/cli.test.ts +1323 -0
- package/plugins/pstack/skills/statechart/scripts/test/config-fuzz.test.ts +263 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/Counter/ChartRun.out +57 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/Counter/Counter.cfg +3 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/Counter/Counter.tla +10 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/Counter/chart.mmd +9 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/Counter/graph.dot +16 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/Counter/report.md +7 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/Counter/sany.out +2 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/Counter/verdict-1.out +49 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterAction/ChartRun.out +60 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterAction/CounterAction.cfg +4 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterAction/CounterAction.tla +22 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterAction/chart.mmd +26 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterAction/graph.dot +19 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterAction/report.md +20 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterAction/sany.out +2 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterAction/verdict-1.exit +1 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterAction/verdict-1.out +56 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterAction/verdict-2.exit +1 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterAction/verdict-2.out +82 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterAction/verdict-3.out +57 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterDeadlock/ChartRun.out +59 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterDeadlock/CounterDeadlock.cfg +3 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterDeadlock/CounterDeadlock.tla +11 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterDeadlock/chart.mmd +22 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterDeadlock/graph.dot +16 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterDeadlock/report.md +17 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterDeadlock/sany.out +2 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterDeadlock/verdict-1.exit +1 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterDeadlock/verdict-1.out +56 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterDeadlock/verdict-2.exit +1 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterDeadlock/verdict-2.out +77 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterFan/ChartRun.out +69 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterFan/CounterFan.cfg +2 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterFan/CounterFan.tla +11 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterFan/chart.mmd +85 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterFan/graph.dot +70 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterFan/report.md +12 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterFan/sany.out +2 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterFan/verdict-1.exit +1 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterFan/verdict-1.out +67 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterFan/verdict-2.out +57 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterGuard/ChartRun.exit +1 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterGuard/ChartRun.out +85 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterGuard/CounterGuard.cfg +6 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterGuard/CounterGuard.tla +13 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterGuard/chart.mmd +5 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterGuard/graph.dot +10 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterGuard/report.md +31 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterGuard/sany.out +2 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterGuard/verdict-1.exit +1 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterGuard/verdict-1.out +64 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterGuard/verdict-2.exit +1 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterGuard/verdict-2.out +77 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterInitPast/ChartRun.out +55 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterInitPast/CounterInitPast.cfg +3 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterInitPast/CounterInitPast.tla +10 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterInitPast/chart.mmd +12 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterInitPast/graph.dot +6 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterInitPast/report.md +12 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterInitPast/sany.out +2 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterInitPast/verdict-1.exit +1 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterInitPast/verdict-1.out +33 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterInitPast/verdict-2.out +54 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterInitPastHolds/ChartRun.out +54 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterInitPastHolds/CounterInitPastHolds.cfg +3 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterInitPastHolds/CounterInitPastHolds.tla +10 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterInitPastHolds/chart.mmd +1 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterInitPastHolds/graph.dot +6 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterInitPastHolds/report.md +7 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterInitPastHolds/sany.out +2 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterInitPastHolds/verdict-1.out +46 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterInstance/ChartRun.out +59 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterInstance/CounterInstance.cfg +2 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterInstance/CounterInstance.tla +10 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterInstance/CounterSteps.tla +6 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterInstance/chart.mmd +17 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterInstance/graph.dot +15 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterInstance/report.md +14 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterInstance/sany.out +3 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterInstance/verdict-1.exit +1 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterInstance/verdict-1.out +78 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterJump/ChartRun.out +59 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterJump/CounterJump.cfg +3 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterJump/CounterJump.tla +19 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterJump/chart.mmd +26 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterJump/graph.dot +22 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterJump/report.md +12 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterJump/sany.out +2 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterJump/verdict-1.exit +1 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterJump/verdict-1.out +58 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterJump/verdict-2.out +57 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterLoop/ChartRun.out +57 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterLoop/CounterLoop.cfg +2 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterLoop/CounterLoop.tla +11 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterLoop/chart.mmd +17 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterLoop/graph.dot +15 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterLoop/report.md +14 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterLoop/sany.out +2 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterLoop/verdict-1.exit +1 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterLoop/verdict-1.out +76 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterOrder/ChartRun.out +59 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterOrder/CounterOrder.cfg +3 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterOrder/CounterOrder.tla +11 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterOrder/chart.mmd +19 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterOrder/graph.dot +10 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterOrder/report.md +15 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterOrder/sany.out +2 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterOrder/verdict-1.exit +1 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterOrder/verdict-1.out +56 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterOrder/verdict-2.exit +1 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterOrder/verdict-2.out +67 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterRules/ChartRun.out +62 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterRules/CounterRules.cfg +6 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterRules/CounterRules.tla +24 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterRules/Moves.tla +5 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterRules/chart.mmd +22 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterRules/graph.dot +10 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterRules/report.md +23 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterRules/sany.out +3 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterRules/verdict-1.exit +1 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterRules/verdict-1.out +58 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterRules/verdict-2.exit +1 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterRules/verdict-2.out +66 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterRules/verdict-3.exit +1 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterRules/verdict-3.out +74 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterRules/verdict-4.out +59 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterStart/ChartRun.out +58 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterStart/CounterStart.cfg +3 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterStart/CounterStart.tla +15 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterStart/chart.mmd +18 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterStart/graph.dot +13 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterStart/report.md +11 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterStart/sany.out +2 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterStart/verdict-1.exit +1 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterStart/verdict-1.out +33 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterStart/verdict-2.out +57 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterStop/ChartRun.out +57 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterStop/CounterStop.cfg +3 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterStop/CounterStop.tla +15 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterStop/chart.mmd +7 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterStop/graph.dot +13 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterStop/report.md +6 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterStop/sany.out +2 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterStop/verdict-1.out +49 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterTie/ChartRun.out +61 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterTie/CounterTie.cfg +4 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterTie/CounterTie.tla +14 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterTie/chart.mmd +30 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterTie/graph.dot +19 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterTie/report.md +27 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterTie/sany.out +2 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterTie/verdict-1.exit +1 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterTie/verdict-1.out +56 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterTie/verdict-2.exit +1 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterTie/verdict-2.out +64 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterTie/verdict-3.exit +1 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterTie/verdict-3.out +87 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterTie/verdict-4.out +57 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterTieInGraph/ChartRun.out +60 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterTieInGraph/CounterTieInGraph.cfg +3 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterTieInGraph/CounterTieInGraph.tla +12 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterTieInGraph/chart.mmd +23 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterTieInGraph/graph.dot +19 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterTieInGraph/report.md +11 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterTieInGraph/sany.out +2 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterTieInGraph/verdict-1.exit +1 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterTieInGraph/verdict-1.out +56 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterTieInGraph/verdict-2.out +57 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterView/ChartRun.out +61 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterView/CounterView.cfg +4 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterView/CounterView.tla +14 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterView/chart.mmd +23 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterView/graph.dot +19 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterView/report.md +27 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterView/sany.out +2 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterView/verdict-1.exit +1 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterView/verdict-1.out +56 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterView/verdict-2.exit +1 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterView/verdict-2.out +64 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterView/verdict-3.exit +1 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterView/verdict-3.out +87 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterView/verdict-4.out +57 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/CounterView/view.mjs +1 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/DieHard/ChartRun.out +59 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/DieHard/DieHard.cfg +4 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/DieHard/DieHard.tla +38 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/DieHard/chart.mmd +92 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/DieHard/graph.dot +126 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/DieHard/report.md +17 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/DieHard/sany.out +2 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/DieHard/verdict-1.exit +1 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/DieHard/verdict-1.out +91 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/DieHard/verdict-2.out +57 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/FirstRule/ChartRun.out +61 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/FirstRule/FirstRule.cfg +6 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/FirstRule/FirstRule.tla +11 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/FirstRule/chart.mmd +22 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/FirstRule/graph.dot +16 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/FirstRule/report.md +25 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/FirstRule/sany.out +2 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/FirstRule/verdict-1.exit +1 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/FirstRule/verdict-1.out +56 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/FirstRule/verdict-2.exit +1 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/FirstRule/verdict-2.out +64 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/FirstRule/verdict-3.exit +1 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/FirstRule/verdict-3.out +64 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/FirstRule/verdict-4.exit +1 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/FirstRule/verdict-4.out +77 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/HiddenClock/ChartRun.out +57 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/HiddenClock/HiddenClock.cfg +4 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/HiddenClock/HiddenClock.tla +11 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/HiddenClock/chart.mmd +13 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/HiddenClock/graph.dot +12 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/HiddenClock/report.md +11 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/HiddenClock/sany.out +2 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/HiddenClock/verdict-1.exit +1 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/HiddenClock/verdict-1.out +72 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/Login/ChartRun.out +57 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/Login/Login.cfg +3 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/Login/Login.tla +62 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/Login/chart.mmd +27 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/Login/graph.dot +40 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/Login/report.md +7 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/Login/sany.out +1 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/Login/verdict-1.out +47 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/Login/view.mjs +1 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/LoginGuarded/ChartRun.out +57 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/LoginGuarded/LoginGuarded.cfg +2 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/LoginGuarded/LoginGuarded.tla +64 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/LoginGuarded/chart.mmd +28 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/LoginGuarded/graph.dot +37 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/LoginGuarded/report.md +8 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/LoginGuarded/sany.out +1 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/LoginGuarded/verdict-1.out +47 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/LoginGuarded/view.mjs +1 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/LoginParallel/ChartRun.out +60 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/LoginParallel/LoginParallel.cfg +3 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/LoginParallel/LoginParallel.tla +64 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/LoginParallel/chart.mmd +44 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/LoginParallel/graph.dot +58 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/LoginParallel/report.md +17 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/LoginParallel/sany.out +1 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/LoginParallel/verdict-1.exit +1 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/LoginParallel/verdict-1.out +83 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/LoginParallel/verdict-2.out +57 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/LoginParallel/view.mjs +1 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/MediaPlayer/ChartRun.out +60 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/MediaPlayer/MediaPlayer.cfg +3 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/MediaPlayer/MediaPlayer.tla +103 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/MediaPlayer/chart.mmd +43 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/MediaPlayer/graph.dot +93 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/MediaPlayer/report.md +14 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/MediaPlayer/sany.out +1 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/MediaPlayer/verdict-1.exit +1 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/MediaPlayer/verdict-1.out +59 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/MediaPlayer/verdict-2.out +72 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/MediaPlayer/view.mjs +3 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/MediaPlayerFixed/ChartRun.out +57 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/MediaPlayerFixed/MediaPlayerFixed.cfg +2 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/MediaPlayerFixed/MediaPlayerFixed.tla +100 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/MediaPlayerFixed/chart.mmd +31 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/MediaPlayerFixed/graph.dot +85 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/MediaPlayerFixed/report.md +9 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/MediaPlayerFixed/sany.out +1 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/MediaPlayerFixed/verdict-1.out +47 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/MediaPlayerFixed/view.mjs +3 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/MediaPlayerProps/ChartRun.out +59 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/MediaPlayerProps/MediaPlayer.tla +103 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/MediaPlayerProps/MediaPlayerProps.cfg +3 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/MediaPlayerProps/MediaPlayerProps.tla +6 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/MediaPlayerProps/chart.mmd +42 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/MediaPlayerProps/graph.dot +93 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/MediaPlayerProps/report.md +19 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/MediaPlayerProps/sany.out +2 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-1.exit +1 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-1.out +61 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-2.out +59 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-3.out +61 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-4.exit +1 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-4.out +66 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-5.exit +1 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-5.out +58 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-6.out +49 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/MediaPlayerProps/view.mjs +3 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/PickWorker/ChartRun.out +57 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/PickWorker/PickWorker.cfg +6 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/PickWorker/PickWorker.tla +11 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/PickWorker/chart.mmd +5 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/PickWorker/graph.dot +11 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/PickWorker/report.md +7 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/PickWorker/sany.out +5 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/PickWorker/verdict-1.out +70 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/Shadow/ChartRun.out +61 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/Shadow/Shadow.cfg +4 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/Shadow/Shadow.tla +11 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/Shadow/ShadowLib.tla +6 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/Shadow/ShadowSub.tla +3 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/Shadow/chart.mmd +9 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/Shadow/graph.dot +16 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/Shadow/report.md +8 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/Shadow/sany.out +4 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/Shadow/verdict-1.out +65 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/SpacedNames/ChartRun.out +59 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/SpacedNames/SpacedNames.cfg +2 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/SpacedNames/SpacedNames.tla +9 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/SpacedNames/chart.mmd +23 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/SpacedNames/graph.dot +17 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/SpacedNames/report.md +15 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/SpacedNames/sany.out +1 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/SpacedNames/verdict-1.exit +1 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/SpacedNames/verdict-1.out +65 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/SpacedNames/verdict-2.exit +1 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/SpacedNames/verdict-2.out +75 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/TwoPhase/ChartRun.out +69 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/TwoPhase/TwoPhase.cfg +3 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/TwoPhase/TwoPhase.tla +75 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/TwoPhase/chart.mmd +60 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/TwoPhase/graph.dot +297 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/TwoPhase/report.md +20 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/TwoPhase/sany.out +1 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/TwoPhase/verdict-1.exit +1 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/TwoPhase/verdict-1.out +95 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/TwoPhase/verdict-2.out +57 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/TwoPhase/view.mjs +1 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/TwoPhaseFixed/ChartRun.out +57 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/TwoPhaseFixed/TwoPhaseFixed.cfg +3 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/TwoPhaseFixed/TwoPhaseFixed.tla +75 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/TwoPhaseFixed/chart.mmd +37 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/TwoPhaseFixed/graph.dot +223 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/TwoPhaseFixed/report.md +11 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/TwoPhaseFixed/sany.out +1 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/TwoPhaseFixed/verdict-1.out +47 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/TwoPhaseFixed/view.mjs +1 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/TypeGuard/ChartRun.exit +1 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/TypeGuard/ChartRun.out +75 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/TypeGuard/TypeGuard.cfg +5 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/TypeGuard/TypeGuard.tla +11 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/TypeGuard/chart.mmd +18 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/TypeGuard/graph.dot +14 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/TypeGuard/report.md +29 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/TypeGuard/sany.out +2 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/TypeGuard/verdict-1.exit +1 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/TypeGuard/verdict-1.out +64 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/TypeGuard/verdict-2.exit +1 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/TypeGuard/verdict-2.out +75 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/UserNoDeadlock/ChartRun.out +58 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/UserNoDeadlock/UserNoDeadlock.cfg +2 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/UserNoDeadlock/UserNoDeadlock.tla +8 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/UserNoDeadlock/chart.mmd +22 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/UserNoDeadlock/graph.dot +16 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/UserNoDeadlock/report.md +15 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/UserNoDeadlock/sany.out +2 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/UserNoDeadlock/verdict-1.exit +1 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/UserNoDeadlock/verdict-1.out +56 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/UserNoDeadlock/verdict-2.exit +1 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus/UserNoDeadlock/verdict-2.out +77 -0
- package/plugins/pstack/skills/statechart/scripts/test/corpus.test.ts +415 -0
- package/plugins/pstack/skills/statechart/scripts/test/differential.test.ts +565 -0
- package/plugins/pstack/skills/statechart/scripts/test/grid/Grid.cfg +2 -0
- package/plugins/pstack/skills/statechart/scripts/test/grid/Grid.tla +9 -0
- package/plugins/pstack/skills/statechart/scripts/test/grid/sany.out +2 -0
- package/plugins/pstack/skills/statechart/scripts/test/java.ts +63 -0
- package/plugins/pstack/skills/statechart/scripts/test/labels.ts +643 -0
- package/plugins/pstack/skills/statechart/scripts/test/messages.test.ts +227 -0
- package/plugins/pstack/skills/statechart/scripts/test/pipeline.test.ts +270 -0
- package/plugins/pstack/skills/statechart/scripts/test/plain-tlc.test.ts +255 -0
- package/plugins/pstack/skills/statechart/scripts/test/render.test.ts +81 -0
- package/plugins/pstack/skills/statechart/scripts/test/tlc-out.test.ts +90 -0
- package/plugins/pstack/skills/statechart/scripts/test/tlc.ts +158 -0
- package/plugins/pstack/skills/statechart/scripts/tsconfig.json +11 -0
- package/plugins/pstack/skills/statechart/scripts/worker.ts +35 -0
- package/plugins/pstack/skills/swarm/SKILL.md +58 -0
- package/plugins/pstack/skills/tdd/SKILL.md +41 -0
- package/plugins/pstack/skills/teach/SKILL.md +28 -0
- package/plugins/pstack/skills/technical-writing/SKILL.md +105 -0
- package/plugins/pstack/skills/thermo-nuclear-code-quality-review/SKILL.md +201 -0
- package/plugins/pstack/skills/thermo-nuclear-review/SKILL.md +50 -0
- package/plugins/pstack/skills/thermos/SKILL.md +40 -0
- package/plugins/pstack/skills/typescript-best-practices/SKILL.md +32 -0
- package/plugins/pstack/skills/typescript-best-practices/references/patterns.md +328 -0
- package/plugins/pstack/skills/unslop/SKILL.md +61 -0
- package/plugins/pstack/skills/what-did-i-get-done/SKILL.md +31 -0
- package/plugins/pstack/skills/why/SKILL.md +116 -0
- package/plugins/pstack/skills/why/references/epistemics.md +79 -0
- package/plugins/pstack/skills/why/references/investigator-prompt.md +86 -0
- package/plugins/pstack/skills/why/references/source-playbook.md +17 -0
- package/plugins/pstack/skills/why/references/sources/code-archaeology.md +51 -0
- package/plugins/pstack/skills/why/references/sources/databricks.md +70 -0
- package/plugins/pstack/skills/why/references/sources/datadog.md +97 -0
- package/plugins/pstack/skills/why/references/sources/incident-postmortem.md +5 -0
- package/plugins/pstack/skills/why/references/sources/linear.md +48 -0
- package/plugins/pstack/skills/why/references/sources/notion.md +55 -0
- package/plugins/pstack/skills/why/references/sources/sentry.md +66 -0
- package/plugins/pstack/skills/why/references/sources/slack.md +17 -0
- package/plugins/pstack/skills/why/references/synthesizer-prompt.md +130 -0
- package/tools/forks.json +398 -0
- package/tools/substitutions.json +646 -0
- package/tools/upstream.json +53 -0
|
@@ -0,0 +1,646 @@
|
|
|
1
|
+
{
|
|
2
|
+
"substitutions": [
|
|
3
|
+
{
|
|
4
|
+
"pattern": "`https://github.com/cursor/plugins/blob/main/pstack/` followed by its path",
|
|
5
|
+
"replacement": "`https://github.com/michael-denyer/pstack-claude/blob/main/plugins/pstack/` followed by its path",
|
|
6
|
+
"rationale": "the public copy of a port skill file lives in this repository under plugins/pstack"
|
|
7
|
+
},
|
|
8
|
+
{
|
|
9
|
+
"pattern": "[README](../../README.md)",
|
|
10
|
+
"replacement": "[README](https://github.com/michael-denyer/pstack-claude/blob/main/README.md)",
|
|
11
|
+
"rationale": "upstream's README is excluded and the port's README sits at the repository root, outside the skills tree"
|
|
12
|
+
},
|
|
13
|
+
{
|
|
14
|
+
"pattern": "repro this with /verify-<app>.",
|
|
15
|
+
"files": "^skills/poteto-help/",
|
|
16
|
+
"replacement": "repro this with /verify.",
|
|
17
|
+
"rationale": "the port's create-verification-skill writes a project skill named verify (#71)"
|
|
18
|
+
},
|
|
19
|
+
{
|
|
20
|
+
"pattern": "Write a project-local skill with frontmatter that names the area and says when to use it.",
|
|
21
|
+
"files": "^skills/create-formal-verification-skill/SKILL\\.md$",
|
|
22
|
+
"replacement": "Write a project-local skill with frontmatter that names the area and says when to use it. Name the skill for the area, never `verify` or a `verify-` prefix, which belong to the driver skill `/create-verification-skill` writes. On Claude Code it lives at `.claude/skills/<area>/SKILL.md`.",
|
|
23
|
+
"rationale": "the port's create-verification-skill writes a project skill named verify, and older generators wrote verify-* (#71), so a formal skill must not take either name; the Codex, Copilot, and Pi mappings give their runtimes' paths, and this gives Claude Code's"
|
|
24
|
+
},
|
|
25
|
+
{
|
|
26
|
+
"pattern": "A verify skill has no fixed name, so find it by what it does: a project skill that runs a model checker, a prover, or another verifier against named code.",
|
|
27
|
+
"files": "^skills/maintain-formal-verification-skill/SKILL\\.md$",
|
|
28
|
+
"replacement": "A verify skill has no fixed name, so find it by what it does: a project skill that runs a model checker, a prover, or another verifier against named code. The project `verify` skill that `/create-verification-skill` writes drives the app and is not one.",
|
|
29
|
+
"rationale": "the port's driver skill is named verify (#71), so the formal maintainer must not take it for a formal check"
|
|
30
|
+
},
|
|
31
|
+
{
|
|
32
|
+
"regex": "\\bverify skill\\b",
|
|
33
|
+
"files": "^skills/(create|maintain)-formal-verification-skill/SKILL\\.md$",
|
|
34
|
+
"replacement": "formal verification skill",
|
|
35
|
+
"rationale": "the port's driver skill is named verify (#71), so upstream's generic \"verify skill\" for the formal skill reads as the driver; must follow the two formal rules above, whose patterns contain it"
|
|
36
|
+
},
|
|
37
|
+
{
|
|
38
|
+
"pattern": "The system prompt names the workspace's `agent-transcripts/` directory.",
|
|
39
|
+
"replacement": "Claude Code stores them at `${CLAUDE_CONFIG_DIR:-$HOME/.claude}/projects/<encoded-cwd>/*.jsonl`. Run `node <plugin>/skills/reflect/scripts/claude-project-dir.mjs` to print this session's directory rather than building `<encoded-cwd>` by hand.",
|
|
40
|
+
"rationale": "Claude Code's system prompt does not name a transcripts directory, so the port names the path and the script that prints it"
|
|
41
|
+
},
|
|
42
|
+
{
|
|
43
|
+
"pattern": "Typical flow: in **one** message, run two `Task` calls in parallel — `subagent_type: \"shell\"` and `subagent_type: \"explore\"` — to collect `git diff <base>...HEAD` output and full contents of changed files (default base `main`).",
|
|
44
|
+
"replacement": "Typical flow: run `git diff <base>...HEAD` (default base `main`) and read the full contents of the changed files, through the `Explore` agent when the set is large.",
|
|
45
|
+
"rationale": "Claude Code has no shell or explore subagent types; the parent runs git itself and its built-in Explore agent reads bulk; must precede the `Task` rule"
|
|
46
|
+
},
|
|
47
|
+
{
|
|
48
|
+
"pattern": "You are a **Task subagent**.",
|
|
49
|
+
"replacement": "You are an **`Agent` subagent**.",
|
|
50
|
+
"rationale": "the article changes with the tool name; must precede the Task subagent rule"
|
|
51
|
+
},
|
|
52
|
+
{
|
|
53
|
+
"pattern": "Invoked via Task after a parent gathers diff and file contents.",
|
|
54
|
+
"replacement": "Invoked through the `Agent` tool after a parent gathers diff and file contents.",
|
|
55
|
+
"rationale": "the Task tool is the Agent tool on Claude Code, and the port writes the tool name in backticks"
|
|
56
|
+
},
|
|
57
|
+
{
|
|
58
|
+
"pattern": "comments from BugBot or others present",
|
|
59
|
+
"replacement": "comments from a review bot or others present",
|
|
60
|
+
"rationale": "the port routes any automated PR-review bot, not only Cursor's Bugbot"
|
|
61
|
+
},
|
|
62
|
+
{
|
|
63
|
+
"pattern": "Flag issues found by BugBot or others",
|
|
64
|
+
"replacement": "Flag issues found by a review bot or others",
|
|
65
|
+
"rationale": "the port routes any automated PR-review bot, not only Cursor's Bugbot"
|
|
66
|
+
},
|
|
67
|
+
{
|
|
68
|
+
"pattern": "Incorporate BugBot or human threads",
|
|
69
|
+
"replacement": "Incorporate review-bot or human threads",
|
|
70
|
+
"rationale": "the port routes any automated PR-review bot, not only Cursor's Bugbot"
|
|
71
|
+
},
|
|
72
|
+
{
|
|
73
|
+
"pattern": "subagent_type: \"thermo-nuclear-review-subagent\"",
|
|
74
|
+
"replacement": "subagent_type: \"pstack:thermo-nuclear-review-subagent\"",
|
|
75
|
+
"rationale": "Claude Code dispatches plugin agents by their namespaced name"
|
|
76
|
+
},
|
|
77
|
+
{
|
|
78
|
+
"pattern": "subagent_type: \"thermo-nuclear-code-quality-review-subagent\"",
|
|
79
|
+
"replacement": "subagent_type: \"pstack:thermo-nuclear-code-quality-review-subagent\"",
|
|
80
|
+
"rationale": "Claude Code dispatches plugin agents by their namespaced name"
|
|
81
|
+
},
|
|
82
|
+
{
|
|
83
|
+
"pattern": "(shipped in the Thermos plugin)",
|
|
84
|
+
"replacement": "(shipped in this plugin)",
|
|
85
|
+
"rationale": "the port carries the thermos skills inside pstack, not as a separate plugin"
|
|
86
|
+
},
|
|
87
|
+
{
|
|
88
|
+
"pattern": "skill in the Thermos plugin.",
|
|
89
|
+
"replacement": "skill in this plugin.",
|
|
90
|
+
"rationale": "the port carries the thermos skills inside pstack, not as a separate plugin"
|
|
91
|
+
},
|
|
92
|
+
{
|
|
93
|
+
"pattern": "find this conversation's transcript in the `agent-transcripts/` directory the system prompt names.",
|
|
94
|
+
"replacement": "find this conversation's transcript in Claude Code's per-project transcripts directory at `${CLAUDE_CONFIG_DIR:-$HOME/.claude}/projects/<encoded-cwd>/`.",
|
|
95
|
+
"rationale": "Cursor's system prompt names its agent-transcripts directory; Claude Code's does not, so the port names the path"
|
|
96
|
+
},
|
|
97
|
+
{
|
|
98
|
+
"pattern": "Spawn Comment Sicko, fix",
|
|
99
|
+
"replacement": "Spawn the comment-sicko subagent, fix",
|
|
100
|
+
"rationale": "the menu description names the plugin agent by its file name"
|
|
101
|
+
},
|
|
102
|
+
{
|
|
103
|
+
"pattern": "Comment Sicko",
|
|
104
|
+
"files": "^skills/no-comments/",
|
|
105
|
+
"replacement": "comment-sicko",
|
|
106
|
+
"rationale": "the agent's registered name is its file name"
|
|
107
|
+
},
|
|
108
|
+
{
|
|
109
|
+
"pattern": "No `eval`, `test`, `judge`, `experiment`, `rubric`, `score`, `compare`, `benchmark`, `candidate`, or `arena` in any directory",
|
|
110
|
+
"replacement": "None of the words eval, test, judge, experiment, rubric, score, compare, benchmark, candidate, or arena in any directory",
|
|
111
|
+
"rationale": "the Claude plugin directory validator reads a backticked eval as a shell execute pattern and holds the submission (0.9.46, #108)"
|
|
112
|
+
},
|
|
113
|
+
{
|
|
114
|
+
"pattern": "list the available MCPs from the Cursor environment. Use the available-tools map when present. Otherwise inspect the `mcps/` directory Cursor exposes for enabled MCP servers.",
|
|
115
|
+
"replacement": "list the available MCPs in the Claude Code environment. Use the tool list at the top of the system prompt (every MCP appears as a tool with prefix `mcp__<server>__<name>`). Otherwise read `.mcp.json` in the plugin/project, or run `claude mcp list`.",
|
|
116
|
+
"rationale": "where Claude Code exposes its MCP servers"
|
|
117
|
+
},
|
|
118
|
+
{
|
|
119
|
+
"regex": "default to one each on `(?:claude|gpt|grok|gemini|composer)-[^`]+`(?:(?:,| and|, and) `(?:claude|gpt|grok|gemini|composer)-[^`]+`)*\\.",
|
|
120
|
+
"files": "^skills/arena/SKILL\\.md$",
|
|
121
|
+
"replacement": "run one each on the defaults in [Models](#models).",
|
|
122
|
+
"rationale": "the runner defaults are stamped into the Models section"
|
|
123
|
+
},
|
|
124
|
+
{
|
|
125
|
+
"regex": "choose from `(?:claude|gpt|grok|gemini|composer)-[^`]+`(?:(?:,| and|, and) `(?:claude|gpt|grok|gemini|composer)-[^`]+`)*\\.",
|
|
126
|
+
"files": "^skills/arena/SKILL\\.md$",
|
|
127
|
+
"replacement": "choose from the runner defaults in [Models](#models).",
|
|
128
|
+
"rationale": "the cross-judge pool defaults to the stamped runners"
|
|
129
|
+
},
|
|
130
|
+
{
|
|
131
|
+
"regex": " With the default pool, a Claude parent gets `(?:claude|gpt|grok|gemini|composer)-[^`]+`\\. A parent from any other family gets `(?:claude|gpt|grok|gemini|composer)-[^`]+` first\\.",
|
|
132
|
+
"files": "^skills/arena/SKILL\\.md$",
|
|
133
|
+
"replacement": "",
|
|
134
|
+
"rationale": "the stamped defaults hold one Claude Code family per model name, so pool order already picks the first default from another family"
|
|
135
|
+
},
|
|
136
|
+
{
|
|
137
|
+
"regex": "use `(?:claude|gpt|grok|gemini|composer)-[^`]+`(?:(?:,| and|, and) `(?:claude|gpt|grok|gemini|composer)-[^`]+`)*\\.",
|
|
138
|
+
"files": "^skills/architect/SKILL\\.md$",
|
|
139
|
+
"replacement": "use the defaults in [Models](#models).",
|
|
140
|
+
"rationale": "the runner defaults are stamped into the Models section"
|
|
141
|
+
},
|
|
142
|
+
{
|
|
143
|
+
"regex": "use `(?:claude|gpt|grok|gemini|composer)-[^`]+`\\.",
|
|
144
|
+
"files": "^skills/swarm/SKILL\\.md$",
|
|
145
|
+
"replacement": "use the default in [Models](#models).",
|
|
146
|
+
"rationale": "the worker default is stamped into the Models section"
|
|
147
|
+
},
|
|
148
|
+
{
|
|
149
|
+
"pattern": "(usually `.cursor/skills/verify-*/`)",
|
|
150
|
+
"replacement": "(`.claude/skills/verify/`, or `.claude/skills/verify-*/` from an older generator)",
|
|
151
|
+
"rationale": "a project skill named verify replaces Claude Code's user-only bundled /verify (#71); must precede the .cursor/skills/ rule"
|
|
152
|
+
},
|
|
153
|
+
{
|
|
154
|
+
"pattern": "run `scripts/worktree-audit.sh [-b <pr-base-ref>] [repo-path]` (principle-build-the-lever). Without `-b` it checks `MERGED` against `origin/HEAD`, so pass `-b origin/<branch>` when PRs target another branch.",
|
|
155
|
+
"replacement": "run `skills/poteto-mode/scripts/worktree-audit.mjs` under the installed plugin (principle-build-the-lever).",
|
|
156
|
+
"rationale": "the port ships its own audit script, which reads MERGED from each PR's state and needs no base ref; a skill-relative path does not resolve from the working directory"
|
|
157
|
+
},
|
|
158
|
+
{
|
|
159
|
+
"pattern": "`.cursor/worktrees/myrepo/x`",
|
|
160
|
+
"replacement": "`.worktrees/myrepo/x`",
|
|
161
|
+
"rationale": "Claude Code has no editor-managed worktree directory"
|
|
162
|
+
},
|
|
163
|
+
{
|
|
164
|
+
"pattern": "from the user or sidebar",
|
|
165
|
+
"replacement": "from the user or your own session list",
|
|
166
|
+
"rationale": "Claude Code has no chat sidebar"
|
|
167
|
+
},
|
|
168
|
+
{
|
|
169
|
+
"pattern": "never hit the sidebar.",
|
|
170
|
+
"replacement": "never hit the session list.",
|
|
171
|
+
"rationale": "same sidebar, later in the step"
|
|
172
|
+
},
|
|
173
|
+
{
|
|
174
|
+
"pattern": "`~/Library/Application Support/Cursor` (`state.vscdb.backup`, and `snapshots/roots/<root>` where a `<root>` named for a folder you opened as a workspace balloons)",
|
|
175
|
+
"replacement": "your editor's application-support caches, `${CLAUDE_CONFIG_DIR:-$HOME/.claude}/shell-snapshots/` and old `${CLAUDE_CONFIG_DIR:-$HOME/.claude}/projects/` transcripts (keep the recent ones the **recall** skill and Session pickup read)",
|
|
176
|
+
"rationale": "Claude Code's own disk use, in place of Cursor's"
|
|
177
|
+
},
|
|
178
|
+
{
|
|
179
|
+
"pattern": "This playbook replaces Cursor's built-in babysit skill for these requests, so do not route there even though its description matches the same words.",
|
|
180
|
+
"replacement": "This playbook supersedes the bundled **babysit** skill for these requests, so do not route there even though its description matches the same words. `/babysit` stays the standalone entry point outside poteto-mode.",
|
|
181
|
+
"rationale": "the bundled babysit skill stays reachable by slash command; must precede the built-in babysit rule"
|
|
182
|
+
},
|
|
183
|
+
{
|
|
184
|
+
"pattern": "status comes from `scripts/watch-pr/watch-pr`.",
|
|
185
|
+
"replacement": "status comes from the watcher at `skills/poteto-mode/scripts/watch-pr/watch-pr` under the installed plugin.",
|
|
186
|
+
"rationale": "a skill-relative path does not resolve from the working directory"
|
|
187
|
+
},
|
|
188
|
+
{
|
|
189
|
+
"pattern": "`environment: \"cloud\"`, `run_in_background: true`, and the step ",
|
|
190
|
+
"replacement": "`run_in_background: true`, and the step ",
|
|
191
|
+
"rationale": "the Agent tool has no environment parameter"
|
|
192
|
+
},
|
|
193
|
+
{
|
|
194
|
+
"pattern": " model, left unset for `auto` or `inherit-parent`. Use `environment: \"local\"` only when the worker needs access to something on the user's computer.",
|
|
195
|
+
"replacement": " model, left unset for `auto` or `inherit-parent`. Claude Code subagents all run on this machine, so isolation comes from the worktree or output directory assigned in Phase A, not from a remote environment.",
|
|
196
|
+
"rationale": "the Agent tool has no environment parameter"
|
|
197
|
+
},
|
|
198
|
+
{
|
|
199
|
+
"pattern": "When a worker must start from a non-default pushed branch, pass `cloud_base_branch`.",
|
|
200
|
+
"replacement": "When a worker must start from a non-default branch, check that branch out in the worker's own worktree and name the worktree path in its brief.",
|
|
201
|
+
"rationale": "the Agent tool has no base-branch parameter"
|
|
202
|
+
},
|
|
203
|
+
{
|
|
204
|
+
"pattern": "Bugbot or the agentic security review commented",
|
|
205
|
+
"replacement": "An automated PR-review bot or the agentic security review commented",
|
|
206
|
+
"rationale": "the port routes any automated PR-review bot, not only Cursor's Bugbot"
|
|
207
|
+
},
|
|
208
|
+
{
|
|
209
|
+
"pattern": "(the `deslop` skill from the `cursor-team-kit` plugin (`/deslop`))",
|
|
210
|
+
"replacement": "(the **deslop** skill, `/deslop`)",
|
|
211
|
+
"rationale": "the port ships deslop itself; inside a parenthesis the port avoids nesting a second one; must precede the bare phrase"
|
|
212
|
+
},
|
|
213
|
+
{
|
|
214
|
+
"pattern": "the `deslop` skill from the `cursor-team-kit` plugin (`/deslop`)",
|
|
215
|
+
"replacement": "the **deslop** skill (`/deslop`)",
|
|
216
|
+
"rationale": "the port ships deslop itself"
|
|
217
|
+
},
|
|
218
|
+
{
|
|
219
|
+
"pattern": "`/deslop` from `cursor-team-kit`",
|
|
220
|
+
"replacement": "`/deslop`",
|
|
221
|
+
"rationale": "same skill, in the PR checklist"
|
|
222
|
+
},
|
|
223
|
+
{
|
|
224
|
+
"pattern": "~/.cursor/rules/pstack-models.mdc",
|
|
225
|
+
"replacement": "pstack-models.md",
|
|
226
|
+
"rationale": "the per-role override sheet; must precede the generic .cursor/rules/ rule or that rule mangles the path"
|
|
227
|
+
},
|
|
228
|
+
{
|
|
229
|
+
"pattern": "AskQuestion",
|
|
230
|
+
"replacement": "AskUserQuestion",
|
|
231
|
+
"rationale": "Claude Code's fixed-choice question tool; upstream Cursor names it AskQuestion"
|
|
232
|
+
},
|
|
233
|
+
{
|
|
234
|
+
"pattern": "the Task tool",
|
|
235
|
+
"replacement": "the `Agent` tool",
|
|
236
|
+
"rationale": "Claude Code dispatches subagents with the Agent tool; Cursor calls it Task. The port writes the tool name in backticks"
|
|
237
|
+
},
|
|
238
|
+
{
|
|
239
|
+
"pattern": "`Task`",
|
|
240
|
+
"replacement": "`Agent`",
|
|
241
|
+
"rationale": "same tool, backticked; covers `Task` call, `Task` prompts, and the `Task` response body"
|
|
242
|
+
},
|
|
243
|
+
{
|
|
244
|
+
"pattern": "Task subagent",
|
|
245
|
+
"replacement": "`Agent` subagent",
|
|
246
|
+
"rationale": "same tool, named bare before the word subagent; the port writes the tool name in backticks"
|
|
247
|
+
},
|
|
248
|
+
{
|
|
249
|
+
"pattern": "a Task error",
|
|
250
|
+
"replacement": "an `Agent` error",
|
|
251
|
+
"rationale": "same tool, named bare before the word error; the port writes the tool name in backticks"
|
|
252
|
+
},
|
|
253
|
+
{
|
|
254
|
+
"pattern": "control skill",
|
|
255
|
+
"replacement": "driver skill",
|
|
256
|
+
"rationale": "driver selection lives in poteto-mode/SKILL.md Non-negotiables; preserve the older generator trigger in its local description"
|
|
257
|
+
},
|
|
258
|
+
{
|
|
259
|
+
"regex": "\\(default `(?:claude|gpt|grok|gemini|composer)-[^`]+`\\)",
|
|
260
|
+
"files": "^skills/poteto-mode/playbooks/",
|
|
261
|
+
"replacement": "(default in poteto-mode's Models section)",
|
|
262
|
+
"rationale": "model defaults live in models.json and are stamped into Models sections, never hard-coded in prose; playbooks belong to poteto-mode"
|
|
263
|
+
},
|
|
264
|
+
{
|
|
265
|
+
"regex": "\\(default `(?:claude|gpt|grok|gemini|composer)-[^`]+`\\)",
|
|
266
|
+
"files": "/SKILL\\.md$",
|
|
267
|
+
"replacement": "(default in [Models](#models))",
|
|
268
|
+
"rationale": "same rule for a skill body, which carries its own Models section"
|
|
269
|
+
},
|
|
270
|
+
{
|
|
271
|
+
"regex": ", default `(?:claude|gpt|grok|gemini|composer)-[^`]+`",
|
|
272
|
+
"files": "/SKILL\\.md$",
|
|
273
|
+
"replacement": ", default in [Models](#models)",
|
|
274
|
+
"rationale": "a role bullet's default model is stamped into the skill's Models section, never hard-coded in prose"
|
|
275
|
+
},
|
|
276
|
+
{
|
|
277
|
+
"regex": "Defaults `(?:claude|gpt|grok|gemini|composer)-[^`]+` for code, `(?:claude|gpt|grok|gemini|composer)-[^`]+` for prose and judgment",
|
|
278
|
+
"files": "^skills/poteto-mode/SKILL\\.md$",
|
|
279
|
+
"replacement": "Role defaults in [Models](#models), with \"judgment and prose\" covering prose and judgment",
|
|
280
|
+
"rationale": "the delegate defaults are stamped into poteto-mode's Models section, so an upstream model bump on this line is not a change to the port"
|
|
281
|
+
},
|
|
282
|
+
{
|
|
283
|
+
"regex": "strongest judgment model \\(`(?:claude|gpt|grok|gemini|composer)-[^`]+`\\)",
|
|
284
|
+
"files": "^skills/poteto-mode/SKILL\\.md$",
|
|
285
|
+
"replacement": "strongest-judgment model (default in [Models](#models))",
|
|
286
|
+
"rationale": "same line, the strongest-judgment default"
|
|
287
|
+
},
|
|
288
|
+
{
|
|
289
|
+
"pattern": "omit Task `model`",
|
|
290
|
+
"replacement": "omit `model` on the `Agent` call",
|
|
291
|
+
"rationale": "Claude Code's subagent tool is `Agent`, and the bare tool name is on the denylist"
|
|
292
|
+
},
|
|
293
|
+
{
|
|
294
|
+
"regex": " \\| `(?:claude|gpt|grok|gemini|composer)-[^`]+` \\| `references/",
|
|
295
|
+
"files": "^skills/reflect/SKILL\\.md$",
|
|
296
|
+
"replacement": " | default in [Models](#models) | `references/",
|
|
297
|
+
"rationale": "a reviewer row's default model is stamped into reflect's Models section, so an upstream model bump in the table is not a change to the port"
|
|
298
|
+
},
|
|
299
|
+
{
|
|
300
|
+
"regex": "(?:claude|gpt|grok|gemini|composer)-[0-9a-z.]+(?:-[0-9a-z.]+)+(?<!\\.)",
|
|
301
|
+
"files": "^skills/setup-pstack/SKILL\\.md$",
|
|
302
|
+
"replacement": "<slug>",
|
|
303
|
+
"rationale": "the port writes its own sheet from models.json and replaces Cursor's budget step, so every upstream slug in setup-pstack is scrubbed to the placeholder the port already uses; a conflict there can then be written and resolved, and a model bump alone is no conflict. Must follow the default-phrase rules above"
|
|
304
|
+
},
|
|
305
|
+
{
|
|
306
|
+
"pattern": "the `pstack-models.mdc` rule and a default.",
|
|
307
|
+
"replacement": "`pstack-models.md` and a default in [Models](#models).",
|
|
308
|
+
"rationale": "the override sheet and the stamped defaults a spawn falls back to; must precede the shorter `pstack-models.mdc` rule phrase"
|
|
309
|
+
},
|
|
310
|
+
{
|
|
311
|
+
"pattern": "the `pstack-models.mdc` rule",
|
|
312
|
+
"replacement": "`pstack-models.md`",
|
|
313
|
+
"rationale": "the override sheet is a file the user includes, not a Cursor rule"
|
|
314
|
+
},
|
|
315
|
+
{
|
|
316
|
+
"pattern": "the rule or that line is missing",
|
|
317
|
+
"replacement": "the sheet or that line is missing",
|
|
318
|
+
"rationale": "the override sheet, not a Cursor rule"
|
|
319
|
+
},
|
|
320
|
+
{
|
|
321
|
+
"pattern": "the rule or the line is missing",
|
|
322
|
+
"replacement": "the sheet or the line is missing",
|
|
323
|
+
"rationale": "same sentence, the other wording upstream uses"
|
|
324
|
+
},
|
|
325
|
+
{
|
|
326
|
+
"regex": "Families go by prefix: `[a-z-]+-\\*`(?:(?:,| and|, and| with) `[a-z-]+-\\*`)*\\.",
|
|
327
|
+
"replacement": "Families go by model name, such as Opus, Fable, or Sonnet.",
|
|
328
|
+
"rationale": "Claude Code names models by family, not by slug prefix"
|
|
329
|
+
},
|
|
330
|
+
{
|
|
331
|
+
"pattern": "~/.cursor/skills/",
|
|
332
|
+
"replacement": "${CLAUDE_CONFIG_DIR:-$HOME/.claude}/skills/",
|
|
333
|
+
"rationale": "Claude Code reads user skills from its config directory; must precede the .cursor/skills/ rule, whose pattern it contains"
|
|
334
|
+
},
|
|
335
|
+
{
|
|
336
|
+
"pattern": ".cursor/skills/",
|
|
337
|
+
"replacement": ".claude/skills/",
|
|
338
|
+
"rationale": "personal skills directory"
|
|
339
|
+
},
|
|
340
|
+
{
|
|
341
|
+
"pattern": "`~/.cursor/projects/*/`",
|
|
342
|
+
"replacement": "`${CLAUDE_CONFIG_DIR:-$HOME/.claude}/projects/`",
|
|
343
|
+
"rationale": "Claude Code keeps every project's transcripts under ${CLAUDE_CONFIG_DIR:-$HOME/.claude}/projects/"
|
|
344
|
+
},
|
|
345
|
+
{
|
|
346
|
+
"regex": "the active workspace's `agent-transcripts/` directory(?: \\(the system prompt names (?:the|this) path\\))?",
|
|
347
|
+
"replacement": "Claude Code's per-project transcripts directory at `${CLAUDE_CONFIG_DIR:-$HOME/.claude}/projects/<encoded-cwd>/`, which `node <plugin>/skills/reflect/scripts/claude-project-dir.mjs` prints",
|
|
348
|
+
"rationale": "Cursor's system prompt names its agent-transcripts directory; Claude Code's does not, so the port names the path"
|
|
349
|
+
},
|
|
350
|
+
{
|
|
351
|
+
"pattern": "~/.cursor/plugins/",
|
|
352
|
+
"replacement": "${CLAUDE_CODE_PLUGIN_CACHE_DIR:-${CLAUDE_CONFIG_DIR:-$HOME/.claude}/plugins}/",
|
|
353
|
+
"rationale": "Claude Code installs plugins under ${CLAUDE_CODE_PLUGIN_CACHE_DIR:-${CLAUDE_CONFIG_DIR:-$HOME/.claude}/plugins}/"
|
|
354
|
+
},
|
|
355
|
+
{
|
|
356
|
+
"pattern": ".cursor-plugin/plugin.json",
|
|
357
|
+
"replacement": ".claude-plugin/plugin.json",
|
|
358
|
+
"rationale": "the port's plugin manifest; the sync excludes upstream's .cursor-plugin/ directory"
|
|
359
|
+
},
|
|
360
|
+
{
|
|
361
|
+
"pattern": "`generalPurpose`",
|
|
362
|
+
"replacement": "`general-purpose`",
|
|
363
|
+
"rationale": "Claude Code's built-in agent type is general-purpose"
|
|
364
|
+
},
|
|
365
|
+
{
|
|
366
|
+
"pattern": "subagent_type: generalPurpose",
|
|
367
|
+
"replacement": "subagent_type: \"general-purpose\"",
|
|
368
|
+
"rationale": "the built-in agent type, unbackticked inside a backticked parameter list"
|
|
369
|
+
},
|
|
370
|
+
{
|
|
371
|
+
"pattern": "subagent_type: \"comment-sicko\"",
|
|
372
|
+
"replacement": "subagent_type: \"pstack:comment-sicko\"",
|
|
373
|
+
"rationale": "Claude Code dispatches plugin agents by their namespaced name, and the bare comment-sicko id upstream adopted in #486 errors"
|
|
374
|
+
},
|
|
375
|
+
{
|
|
376
|
+
"pattern": "subagent_type: \"poteto-agent\"",
|
|
377
|
+
"replacement": "subagent_type: \"pstack:poteto-agent\"",
|
|
378
|
+
"rationale": "plugin agents register under the plugin namespace; the bare name errors (#58)"
|
|
379
|
+
},
|
|
380
|
+
{
|
|
381
|
+
"regex": "Cursor's built-in `create-skill`(?: skill)?",
|
|
382
|
+
"replacement": "the **plugin-dev:skill-development** skill",
|
|
383
|
+
"rationale": "Claude Code's skill-authoring guidance ships in the plugin-dev plugin; must precede the bare create-skill rule"
|
|
384
|
+
},
|
|
385
|
+
{
|
|
386
|
+
"pattern": "(Cursor's built-in for authoring SKILL.md files)",
|
|
387
|
+
"replacement": "(Claude Code's authoring guidance for SKILL.md files)",
|
|
388
|
+
"rationale": "the parenthetical that follows the skill name"
|
|
389
|
+
},
|
|
390
|
+
{
|
|
391
|
+
"pattern": "create-skill",
|
|
392
|
+
"replacement": "plugin-dev:skill-development",
|
|
393
|
+
"rationale": "the same skill, named bare or in backticks"
|
|
394
|
+
},
|
|
395
|
+
{
|
|
396
|
+
"pattern": "Cursor's `/loop` command",
|
|
397
|
+
"replacement": "Claude Code's `loop` skill",
|
|
398
|
+
"rationale": "Claude Code ships /loop as a bundled skill"
|
|
399
|
+
},
|
|
400
|
+
{
|
|
401
|
+
"pattern": "a Cursor restart",
|
|
402
|
+
"replacement": "a session restart",
|
|
403
|
+
"rationale": "the host application"
|
|
404
|
+
},
|
|
405
|
+
{
|
|
406
|
+
"pattern": "Cursor's built-in babysit skill",
|
|
407
|
+
"replacement": "the bundled **babysit** skill",
|
|
408
|
+
"rationale": "Claude Code bundles its own babysit skill with the same trigger words"
|
|
409
|
+
},
|
|
410
|
+
{
|
|
411
|
+
"pattern": "bugbot comments",
|
|
412
|
+
"replacement": "review-bot comments",
|
|
413
|
+
"rationale": "the port routes any automated PR-review bot, not only Cursor's Bugbot"
|
|
414
|
+
},
|
|
415
|
+
{
|
|
416
|
+
"regex": " A refused `composer-\\*` entry runs on (?:`[^`]+`|Reviewer B's default)\\.",
|
|
417
|
+
"replacement": "",
|
|
418
|
+
"rationale": "Claude Code has no composer models, so the fallback for one has nothing to say"
|
|
419
|
+
},
|
|
420
|
+
{
|
|
421
|
+
"pattern": "reasoning level and fast or standard speed for the job",
|
|
422
|
+
"replacement": "reasoning level for the job",
|
|
423
|
+
"rationale": "Claude Code sets fast mode for the session, not per spawn, so a spawn picks only its effort"
|
|
424
|
+
},
|
|
425
|
+
{
|
|
426
|
+
"pattern": "pick the reasoning level and speed the job needs. The `/setup-pstack` budget sets each role's starting level, xhigh by default.",
|
|
427
|
+
"files": "^skills/poteto-mode/SKILL\\.md$",
|
|
428
|
+
"replacement": "pick the reasoning level the job needs, set as [Reasoning effort](#reasoning-effort) describes. The role's `@level`, or the sheet's `default effort` line, sets its starting level, and `session` starts from the session's level.",
|
|
429
|
+
"rationale": "the port's per-spawn effort lever is the override sheet's @level and the Agent call's effort parameter, not a slug suffix"
|
|
430
|
+
},
|
|
431
|
+
{
|
|
432
|
+
"pattern": "Use fast mode only when the job is urgent, meaning CI or trunk is red or a person is blocked on the result right now. Otherwise use standard speed, the same slug without `-fast`.",
|
|
433
|
+
"files": "^skills/poteto-mode/SKILL\\.md$",
|
|
434
|
+
"replacement": "Claude Code sets fast mode for the whole session, so a spawn changes only its effort.",
|
|
435
|
+
"rationale": "Claude Code has no per-spawn fast slug"
|
|
436
|
+
},
|
|
437
|
+
{
|
|
438
|
+
"regex": "stays on the `swarm workers` model and speed \\(`[^`]+` by default\\)",
|
|
439
|
+
"files": "^skills/poteto-mode/SKILL\\.md$",
|
|
440
|
+
"replacement": "stays on the `swarm workers` model and effort (default in the **swarm** skill's Models section)",
|
|
441
|
+
"rationale": "model defaults live in models.json and are stamped into Models sections, never hard-coded in prose"
|
|
442
|
+
},
|
|
443
|
+
{
|
|
444
|
+
"pattern": "Change only the effort level and whether the slug is fast, and keep the family the role names",
|
|
445
|
+
"files": "^skills/poteto-mode/SKILL\\.md$",
|
|
446
|
+
"replacement": "Change only the effort level, and keep the model the role names",
|
|
447
|
+
"rationale": "Claude Code has no per-spawn fast slug"
|
|
448
|
+
},
|
|
449
|
+
{
|
|
450
|
+
"pattern": "If the family has no slug at that level and speed, use its nearest slug.",
|
|
451
|
+
"files": "^skills/poteto-mode/SKILL\\.md$",
|
|
452
|
+
"replacement": "If the model does not take that level, use its nearest level.",
|
|
453
|
+
"rationale": "on Claude Code the effort is a level on the dispatch, not a slug"
|
|
454
|
+
},
|
|
455
|
+
{
|
|
456
|
+
"pattern": "rejects the adjusted slug, do not try another adjusted slug.",
|
|
457
|
+
"files": "^skills/poteto-mode/SKILL\\.md$",
|
|
458
|
+
"replacement": "rejects the adjusted level, do not try another level.",
|
|
459
|
+
"rationale": "on Claude Code the effort is a level on the dispatch, not a slug"
|
|
460
|
+
},
|
|
461
|
+
{
|
|
462
|
+
"regex": " \\(?(?:with|through) (?:the matching|its) driver skill,? \\(?such as `control-(?:ui|cli)` or `control-(?:ui|cli)` from `cursor-team-kit`(?:, or a named driver where none exists)?\\)(?: or a named driver)?",
|
|
463
|
+
"files": "^skills/poteto-mode/playbooks/",
|
|
464
|
+
"replacement": " through the driver skill",
|
|
465
|
+
"rationale": "driver selection lives in poteto-mode/SKILL.md Non-negotiables, which resolve the project's driver or a named one"
|
|
466
|
+
},
|
|
467
|
+
{
|
|
468
|
+
"pattern": "Each owner is a Cursor cloud agent that builds",
|
|
469
|
+
"replacement": "Each owner is a background subagent in its own worktree that builds",
|
|
470
|
+
"rationale": "Claude Code runs subagents locally; a worktree per writer gives the isolation a cloud VM gave"
|
|
471
|
+
},
|
|
472
|
+
{
|
|
473
|
+
"pattern": "One verifier per PR, each a Cursor cloud agent, runs",
|
|
474
|
+
"replacement": "One verifier per PR, each a subagent in its own worktree, runs",
|
|
475
|
+
"rationale": "Claude Code runs subagents locally; a worktree per writer gives the isolation a cloud VM gave"
|
|
476
|
+
},
|
|
477
|
+
{
|
|
478
|
+
"pattern": "Keep the program's state in the Project tracker (`notes.md`) and the Project store.",
|
|
479
|
+
"files": "^skills/poteto-mode/playbooks/orchestrate\\.md$",
|
|
480
|
+
"replacement": "Keep the program's state in a store under `~/.claude/orchestrate/<slug>/`, outside the repo, with `notes.md` as its tracker.",
|
|
481
|
+
"rationale": "Claude Code has no Project tracker or Project store, so the port keeps the program's state in a directory that outlives the session"
|
|
482
|
+
},
|
|
483
|
+
{
|
|
484
|
+
"pattern": "Run workers on a new cloud VM (`environment: \"cloud\"`) unless the work needs this machine: a `control-ui` or `control-cli` runtime check (from `cursor-team-kit`), local transcripts, a simulator, or auth that exists only here.",
|
|
485
|
+
"files": "^skills/poteto-mode/playbooks/orchestrate\\.md$",
|
|
486
|
+
"replacement": "Run workers as background subagents (`run_in_background: true`). Claude Code has no remote worker environment, so give each writer its own worktree or branch, and run runtime checks through the driver skill.",
|
|
487
|
+
"rationale": "Claude Code runs every subagent on this machine, so the cloud placement rule becomes a worktree rule"
|
|
488
|
+
},
|
|
489
|
+
{
|
|
490
|
+
"pattern": "a control-skill check",
|
|
491
|
+
"files": "^skills/poteto-mode/playbooks/orchestrate\\.md$",
|
|
492
|
+
"replacement": "a driver-skill check",
|
|
493
|
+
"rationale": "driver selection lives in poteto-mode/SKILL.md Non-negotiables, and the port calls the skill the driver skill"
|
|
494
|
+
},
|
|
495
|
+
{
|
|
496
|
+
"pattern": "**Fork when new work needs a worker's built state,** such as its checkout, uncommitted changes, or a running process.",
|
|
497
|
+
"files": "^skills/poteto-mode/playbooks/orchestrate\\.md$",
|
|
498
|
+
"replacement": "**When new work needs a worker's built state,** such as its checkout or uncommitted changes, start a fresh worker in that worker's worktree. A Claude Code fork copies the coordinator, not the worker.",
|
|
499
|
+
"rationale": "Claude Code's fork subagent inherits the caller's context, so it cannot take over a worker's checkout; a fresh worker in that worktree can"
|
|
500
|
+
},
|
|
501
|
+
{
|
|
502
|
+
"pattern": "re-reads this playbook from trunk",
|
|
503
|
+
"files": "^skills/poteto-mode/playbooks/",
|
|
504
|
+
"replacement": "re-reads this playbook from disk under the installed plugin",
|
|
505
|
+
"rationale": "the playbook runs from the installed plugin, and the user's trunk is not pstack's"
|
|
506
|
+
},
|
|
507
|
+
{
|
|
508
|
+
"pattern": "Assume the VM dies.",
|
|
509
|
+
"replacement": "Assume the owner's session dies.",
|
|
510
|
+
"rationale": "Claude Code subagents run on this machine, not on cloud VMs"
|
|
511
|
+
},
|
|
512
|
+
{
|
|
513
|
+
"pattern": "in the root agent's store (path in the system prompt)",
|
|
514
|
+
"replacement": "in the program's store under `~/.claude/orchestrate/<slug>/`",
|
|
515
|
+
"rationale": "Claude Code's system prompt names no agent store, so the port names the orchestrate store path"
|
|
516
|
+
},
|
|
517
|
+
{
|
|
518
|
+
"pattern": "a chart or diagram from `/visualize`",
|
|
519
|
+
"replacement": "a chart or diagram you render from the data",
|
|
520
|
+
"rationale": "/visualize is a Cursor command with no Claude Code equivalent"
|
|
521
|
+
},
|
|
522
|
+
{
|
|
523
|
+
"pattern": "a `/visualize` chart for numbers",
|
|
524
|
+
"replacement": "a chart rendered from the data for numbers",
|
|
525
|
+
"rationale": "/visualize is a Cursor command with no Claude Code equivalent"
|
|
526
|
+
}
|
|
527
|
+
],
|
|
528
|
+
"denylist": [
|
|
529
|
+
{
|
|
530
|
+
"token": "Project tracker",
|
|
531
|
+
"hint": "Cursor's Project tracker; the port keeps program state under ~/.claude/orchestrate/<slug>/, so add a substitution rule for the phrase"
|
|
532
|
+
},
|
|
533
|
+
{
|
|
534
|
+
"token": "Project store",
|
|
535
|
+
"hint": "Cursor's Project store; the port keeps program state under ~/.claude/orchestrate/<slug>/, so add a substitution rule for the phrase"
|
|
536
|
+
},
|
|
537
|
+
{
|
|
538
|
+
"token": "grok-",
|
|
539
|
+
"hint": "Cursor model slug; point at the Models section, or add a substitution rule for the phrase"
|
|
540
|
+
},
|
|
541
|
+
{
|
|
542
|
+
"token": ".cursor-plugin",
|
|
543
|
+
"hint": "Cursor's manifest directory, which the sync excludes; the port's manifest is .claude-plugin/plugin.json"
|
|
544
|
+
},
|
|
545
|
+
{
|
|
546
|
+
"regex": "\\b(?:claude|gpt|gemini|composer)-[0-9a-z.-]*-(?:max|fast|xhigh|high|medium|low|thinking)\\b",
|
|
547
|
+
"hint": "Cursor model slug with an effort suffix; point at the Models section, or add a substitution rule for the phrase"
|
|
548
|
+
},
|
|
549
|
+
{
|
|
550
|
+
"token": "pstack-models.mdc",
|
|
551
|
+
"hint": "Cursor's rule file; the port's override sheet is pstack-models.md, at the path setup-pstack lists per runtime"
|
|
552
|
+
},
|
|
553
|
+
{
|
|
554
|
+
"token": "`verify` skill (UIs)",
|
|
555
|
+
"hint": "use the driver policy in poteto-mode/SKILL.md Non-negotiables"
|
|
556
|
+
},
|
|
557
|
+
{
|
|
558
|
+
"token": "`verify` for UIs",
|
|
559
|
+
"hint": "use the driver policy in poteto-mode/SKILL.md Non-negotiables"
|
|
560
|
+
},
|
|
561
|
+
{
|
|
562
|
+
"token": "/visualize",
|
|
563
|
+
"hint": "Cursor's chart command; Claude Code has none, so name a chart rendered from the data"
|
|
564
|
+
},
|
|
565
|
+
{
|
|
566
|
+
"token": "control-cli",
|
|
567
|
+
"hint": "use the driver policy in poteto-mode/SKILL.md Non-negotiables; rewrite the sentence, don't token-swap"
|
|
568
|
+
},
|
|
569
|
+
{
|
|
570
|
+
"token": "control-ui",
|
|
571
|
+
"hint": "use the driver policy in poteto-mode/SKILL.md Non-negotiables; rewrite the sentence, don't token-swap"
|
|
572
|
+
},
|
|
573
|
+
{
|
|
574
|
+
"token": "AskQuestion",
|
|
575
|
+
"hint": "should have been substituted to AskUserQuestion; substitution rule failed to apply"
|
|
576
|
+
},
|
|
577
|
+
{
|
|
578
|
+
"token": ".cursor/",
|
|
579
|
+
"hint": "Cursor config path survived; map it to the Claude Code equivalent"
|
|
580
|
+
},
|
|
581
|
+
{
|
|
582
|
+
"token": "Cursor cloud agent",
|
|
583
|
+
"hint": "Claude Code runs subagents locally; the port isolates writers with worktrees"
|
|
584
|
+
},
|
|
585
|
+
{
|
|
586
|
+
"token": "cursor.com",
|
|
587
|
+
"hint": "Cursor product URL; check whether the sentence applies to Claude Code at all"
|
|
588
|
+
},
|
|
589
|
+
{
|
|
590
|
+
"token": "/goal",
|
|
591
|
+
"hint": "Cursor's /goal has no Claude Code equivalent; the autopilot playbooks keep the objective in the program store's notes.md"
|
|
592
|
+
},
|
|
593
|
+
{
|
|
594
|
+
"token": "create-skill",
|
|
595
|
+
"hint": "Cursor's built-in skill-authoring skill; Claude Code's equivalent is the plugin-dev:skill-development skill"
|
|
596
|
+
},
|
|
597
|
+
{
|
|
598
|
+
"regex": "\\bTask (?:subagent|tool|schema|error|`model`)",
|
|
599
|
+
"hint": "Cursor's subagent tool named bare; Claude Code's is the `Agent` tool. Add a substitution rule for the phrase"
|
|
600
|
+
},
|
|
601
|
+
{
|
|
602
|
+
"token": "re-reads both playbooks from trunk",
|
|
603
|
+
"hint": "the playbooks run from the installed plugin, and the user's trunk is not pstack's; rewrite it as re-reading them from disk under the installed plugin"
|
|
604
|
+
},
|
|
605
|
+
{
|
|
606
|
+
"token": "generalPurpose",
|
|
607
|
+
"hint": "Cursor's built-in agent type; Claude Code's is \"general-purpose\""
|
|
608
|
+
},
|
|
609
|
+
{
|
|
610
|
+
"token": "agent-transcripts",
|
|
611
|
+
"hint": "Cursor's per-workspace transcript directory; Claude Code keeps transcripts under ${CLAUDE_CONFIG_DIR:-$HOME/.claude}/projects/"
|
|
612
|
+
},
|
|
613
|
+
{
|
|
614
|
+
"token": "environment: \"cloud\"",
|
|
615
|
+
"hint": "Cursor cloud-agent dispatch; Claude Code runs subagents locally and isolates writers with worktrees"
|
|
616
|
+
},
|
|
617
|
+
{
|
|
618
|
+
"token": "is_background",
|
|
619
|
+
"hint": "Cursor-only agent frontmatter key; Claude Code sets run_in_background on each Agent call"
|
|
620
|
+
},
|
|
621
|
+
{
|
|
622
|
+
"token": "cloud_base_branch",
|
|
623
|
+
"hint": "Cursor's cloud-agent base-branch parameter; the port checks the branch out in the worker's worktree"
|
|
624
|
+
},
|
|
625
|
+
{
|
|
626
|
+
"token": "environment: \"local\"",
|
|
627
|
+
"hint": "Cursor's agent environment parameter; Claude Code subagents all run on this machine"
|
|
628
|
+
},
|
|
629
|
+
{
|
|
630
|
+
"token": "mcps/",
|
|
631
|
+
"hint": "Cursor's MCP directory; Claude Code lists MCP servers as tools named mcp__<server>__<name>"
|
|
632
|
+
},
|
|
633
|
+
{
|
|
634
|
+
"token": "Application Support/Cursor",
|
|
635
|
+
"hint": "Cursor's application data; name Claude Code's own caches"
|
|
636
|
+
},
|
|
637
|
+
{
|
|
638
|
+
"token": "cloud-sleeper",
|
|
639
|
+
"hint": "Cursor's cloud wake chain; Claude Code's /loop schedules its own wake-up"
|
|
640
|
+
},
|
|
641
|
+
{
|
|
642
|
+
"token": "restart Cursor",
|
|
643
|
+
"hint": "Cursor is the host application upstream; say restart Claude Code, or add a substitution rule for the phrase"
|
|
644
|
+
}
|
|
645
|
+
]
|
|
646
|
+
}
|