Port upstream pstack changes #1

pstack 0.15.23 -> 0.15.28

23 upstream commits changed 68 pstack files since the last sync.

Commits

• d457567 chore(pstack): bump to 0.15.28, sync guide with create-formal-verification-skill (chore(pstack): bump to 0.15.28, sync guide with create-formal-verification-skill cursor/plugins#724)
• 7b353f7 pstack: add maintain-formal-verification-skill (pstack: add maintain-formal-verification-skill cursor/plugins#716)
• 6b78e9f fix(pstack): add TLA+ default and no-verifier fallback to create-formal-verification-skill (fix(pstack): add TLA+ default and no-verifier fallback to create-formal-verification-skill cursor/plugins#721)
• f9be7aa pstack: offer formal verification in setup, sync help and guide (pstack: offer formal verification in setup, sync help and guide cursor/plugins#715)
• 0148b78 chore(pstack): bump to 0.15.27 (chore(pstack): bump to 0.15.27 cursor/plugins#713)
• 75fabac pstack: drop the rewritten-prompt ban from sharpen (pstack: drop the rewritten-prompt ban from sharpen cursor/plugins#712)
• 0b8e952 chore(pstack): bump to 0.15.26 (chore(pstack): bump to 0.15.26 cursor/plugins#710)
• 4382e68 feat(pstack): add /create-formal-verification-skill (feat(pstack): add /create-formal-verification-skill cursor/plugins#709)
• bc14437 fix(pstack): say outright that ketchup never cuts items to stay under a word count (fix(pstack): say outright that ketchup never cuts items to stay under a word count cursor/plugins#708)
• 16541c6 fix(pstack): list every waiting item so each ketchup call is decidable (fix(pstack): list every waiting item so each ketchup call is decidable cursor/plugins#692)
• 019a6a2 pstack: refresh the docs and add a docs-vs-tree check (pstack: refresh the docs and add a docs-vs-tree check cursor/plugins#704)
• 1b80080 fix(pstack): close three gaps in the Claude Code plugin (fix(pstack): close three gaps in the Claude Code plugin cursor/plugins#705)
• a968159 fix(pstack): name every skill after its folder (fix(pstack): name every skill after its folder cursor/plugins#702)
• 0317eb8 fix(pstack): make a brand with a type guard, not as (fix(pstack): make a brand with a type guard, not as cursor/plugins#700)
• 182f2ce feat(pstack): install pstack in Claude Code from a generated tree (feat(pstack): install pstack in Claude Code from a generated tree cursor/plugins#637)
• 99743e9 refactor(pstack): cut marginal sections from four skills (refactor(pstack): cut marginal sections from four skills cursor/plugins#634)
• e5136d8 pstack: restate four overspecified principles as reasoning, not rules (pstack: restate four overspecified principles as reasoning, not rules cursor/plugins#633)
• 6ce45c5 chore(pstack): bump to 0.15.25 (chore(pstack): bump to 0.15.25 cursor/plugins#614)
• afd51cf feat(pstack): have /ketchup explain changes with screenshots, videos, and diagrams (feat(pstack): have /ketchup explain changes with screenshots, videos, and diagrams cursor/plugins#628)
• 1e5c90a chore(pstack): bump to 0.15.24 (chore(pstack): bump to 0.15.24 cursor/plugins#617)
• 79afd75 feat(pstack): add /sharpen (feat(pstack): add /sharpen cursor/plugins#615)
• 8043881 pstack: autopilot loops catch the operator up with /ketchup (feat(pstack): autopilot loops catch the operator up with /ketchup cursor/plugins#616)
• ce649c0 feat(pstack): match subagent effort to the job, drop Graphite from orchestrate, and cut playbooks to principles (feat(pstack): match subagent effort to the job, drop Graphite from orchestrate, and cut playbooks to principles cursor/plugins#613)

Files, by port path

Changed (61)

• pstack/README.md +25 -11
• pstack/docs/guide/01-setup.md +6 -2
• pstack/docs/guide/02-poteto-mode.md +10 -2
• pstack/docs/guide/03-understand.md +3 -3
• pstack/docs/guide/04-design.md +1 -1
• pstack/docs/guide/05-build-and-clean.md +2 -2
• pstack/docs/guide/06-verify-and-ship.md +29 -7
• pstack/docs/guide/07-overnight.md +3 -1
• pstack/docs/guide/08-principles.md +3 -3
• pstack/docs/guide/09-make-it-yours.md +4 -4
• pstack/docs/guide/10-recipes-and-pitfalls.md +27 -3
• pstack/docs/guide/README.md +1 -1
• skills/arena/SKILL.md +1 -1
• skills/automate-me/SKILL.md +1 -1
• skills/correct/SKILL.md +1 -1
• skills/figure-it-out/SKILL.md +1 -1
• skills/how/SKILL.md +1 -1
• skills/interrogate/SKILL.md +2 -2
• skills/interrogate/references/lead-judgment.md +0 -19
• skills/ketchup/SKILL.md +16 -10
• skills/no-comments/SKILL.md +1 -1
• skills/poteto-help/SKILL.md +9 -3
• skills/poteto-help/references/recipes.md +3 -0
• skills/poteto-mode/SKILL.md +7 -5
• skills/poteto-mode/playbooks/autonomous-run.md +1 -1
• skills/poteto-mode/playbooks/autopilot-full.md +21 -9
• skills/poteto-mode/playbooks/autopilot-stack.md +6 -10
• skills/poteto-mode/playbooks/bug-fix.md +1 -1
• skills/poteto-mode/playbooks/eval.md +1 -1
• skills/poteto-mode/playbooks/feature.md +1 -1
• skills/poteto-mode/playbooks/hillclimb.md +1 -1
• skills/poteto-mode/playbooks/multi-phase-plan.md +3 -3
• skills/poteto-mode/playbooks/opening-a-pr.md +1 -1
• skills/poteto-mode/playbooks/orchestrate.md +8 -7
• skills/poteto-mode/playbooks/perf-issue.md +1 -1
• skills/poteto-mode/playbooks/refactoring.md +1 -1
• skills/poteto-mode/playbooks/runtime-forensics.md +1 -1
• skills/poteto-mode/playbooks/session-pickup.md +1 -1
• skills/poteto-mode/playbooks/shipping.md +8 -13
• skills/poteto-mode/playbooks/trace-forensics.md +1 -1
• skills/poteto-mode/playbooks/worktree-cleanup.md +1 -1
• skills/poteto-mode/scripts/orch/orch.test.ts +223 -96
• skills/poteto-mode/scripts/orch/orch.ts +14 -2
• skills/poteto-mode/scripts/orch/store.ts +226 -156
• skills/poteto-mode/scripts/watch-pr/github.test.ts +32 -0
• skills/poteto-mode/scripts/watch-pr/github.ts +14 -18
• skills/poteto-mode/scripts/worktree-audit.sh +14 -5
• skills/principle-attack-the-premise/SKILL.md +6 -8
• skills/principle-fix-root-causes/SKILL.md +11 -14
• skills/principle-make-operations-idempotent/SKILL.md +4 -6
• skills/principle-migrate-callers-then-delete-legacy-apis/SKILL.md +0 -8
• skills/principle-test-behavior-not-implementation/SKILL.md +9 -10
• skills/principle-type-system-discipline/SKILL.md +1 -6
• skills/recall/SKILL.md +1 -1
• skills/reflect/SKILL.md +1 -1
• skills/setup-pstack/SKILL.md +4 -0
• skills/show-me-your-work/SKILL.md +1 -1
• skills/swarm/SKILL.md +1 -6
• skills/typescript-best-practices/SKILL.md +1 -1
• skills/typescript-best-practices/references/patterns.md +6 -2
• skills/why/SKILL.md +1 -1

Added (3)

• skills/create-formal-verification-skill/SKILL.md +41
• skills/maintain-formal-verification-skill/SKILL.md +58
• skills/sharpen/SKILL.md +7

Skipped, not part of the port (4)

• pstack/.cursor-plugin/plugin.json (Cursor plugin manifest)
• pstack/docs/harness/claude-code.md (upstream's harness adapters)
• pstack/plugin.json (Cursor plugin manifest)
• pstack/skills/make-bot-ui/SKILL.md (needs Cursor's bot UI)

Porting

1. Read a file's upstream diff: node scripts/check-upstream.mjs --diff <path>
2. Port the change by hand.
3. Record the sync: node scripts/check-upstream.mjs --done d457567332aa, then commit scripts/upstream.json with the port.

cc @RayenTellissy