Repository navigation
DEV-1181: port pstack 0.15.30-0.15.32 (statechart, ketchup-video) - #2
Merged
Merged
Conversation
Sync with upstream cursor/plugins pstack at 9580c23 (0.15.32), by Lauren Tan (poteto), MIT. Adds /statechart and /ketchup-video, keeps /reflect edits out of the installed p3-stack checkout, fixes /swarm's report wording, and records ported and skipped changes in CHANGELOG. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
tomaas
added a commit
that referenced
this pull request
Oct 24, 2026
Review follow-up to #2. reflect now gives the exact procedure for replacing an installed skill symlink with a copy (readlink -f, copy to a temp folder, rm the link with no trailing slash, mv, test ! -L), covers project folders with no symlink and keeps them out of commits, and tells the user the copy is detached from git pull and how to restore it. Co-authored-by: Claude Opus 5.5 <noreply@anthropic.com>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Syncs p3-stack with upstream pstack 0.15.32 (cursor/plugins@9580c23) for DEV-1181. The previous sync was DEV-921 (#1) at
88d4751(0.15.29). Upstream has 16 commits underpstack/in between.Ported
skills/statechart: draws how a system moves between states as a Mermaid statechart from a TLA+ model, each TLC bug as a numbered path. It also turns an agreed chart into a TLA+ skeleton, or audits code against a spec. SKILL.md andscripts/are copied unchanged.skills/ketchup-video:/ketchupas a short silent video of slides, with the waiting calls as text under it.reflect: never edit a skill through its symlink into the p3-stack checkout. Replace the symlink with a copy, edit the copy, never open a PR or push.plugins/cache/. Here the same risk is the checkout thatinstall.shsymlinks into~/.agents/skills/.install.shskips non-symlinks, so the copy survives reinstalls.swarm: Phase D says "a result table" (and "in-thread" for "in-chat").p3-helproutes to/ketchup-videoand/statechart. README skills list adds both.poteto-helpand README rows.CHANGELOG.mdentry;NOTICEand README credit name9580c23(0.15.32) and Lauren Tan (poteto).Skipped
plugin.json.watch-pr: fork heads in stack discovery; cap polling sleeps at the deadlinewatch_pull_requestreplacesscripts/watch-pr.check-plan.mjsinline code delimitersorchprefers the active PR over branch historyorch. Stack bookkeeping goes throughlink_pull_request/list_thread_pull_requests.worktree-audit.shGNU stat/dateworktree-audit.sh. It mined Cursor transcript files, whicht3_thread_readreplaces.git pullupdates it.create-formal-verification-skillpoints generated skills at/statechartdocs/guidesections for/statechartand/ketchup-videoFollow-up (not ported)
create-formal-verification-skill(with #794)maintain-formal-verification-skillin-your-own-wordsVerification
./scripts/check-skill-names.shprintsok: 55 skill names match their folders.ketchup-video,statechart(SKILL.md and scripts),reflect,swarmorp3-help.node --test skills/statechart/scripts/test/statechart.test.mjsin this checkout, with TLC and Java installed by mise: 150 tests, 148 pass, 0 fail, 2 skipped. Both skips are font tests that need a Type 1 / Nimbus Sans face this machine lacks. About 7.5 minutes.delegate_task,t3_thread_launch,watch_pull_request,schedule_task,link_pull_request,preview_*,device_*) is unchanged.🤖 Generated with Claude Code