[MondayNotAGoodDay]

跟进了什么

上游 pstack 从 0.15.25（6ce45c59，2026-10-14）到了 0.15.27（0148b78c，#713），并接上没有改版本号的 #715（f9be7aa00c2b2bf4b13562143a6918445e06b99d，2026-10-18）。接到现有 fork 上，没有整目录覆盖。这次 pin 写在 UPSTREAM.md。

• 新技能：/create-formal-verification-skill。/setup-pstack 在验证技能之后再问一次要不要生成它。poteto-help 和指南对上了这个入口。
• /ketchup 改成把每一个等待用户的决定都列出来，回复本身就能做出决定。事情本身压在 100 词以内，条目多了就变长，不为了卡字数而删条目（#692、#708）。
• /sharpen 不再禁止把改写后的提示交还来（#712）。
• 四条 principle 改成推理而不是死规则：attack-the-premise、fix-root-causes、make-operations-idempotent、test-behavior-not-implementation（#633）。correct 的测试句一并改了。poteto-mode 里对应的一行说明跟着改，spawn 段没动。
• 四处边际段落拿掉：interrogate 的 lead judgment、migrate-callers、type-system-discipline、swarm 的引言、N 的说明和结果表（#634）。swarm 仍走 profile 的 role / isolation / inherit。
• TypeScript 品牌用类型守卫写，不再用 as（#700）。
• 指南按上游刷新了用词，并写上了形式化验证、/ketchup、/sharpen、/in-your-own-words（#704、#715）。fork 里已经改成 harness-neutral 的句子保留，包括项目技能仍写到 .agents/skills/。

跳过的安装专用 PR

• #637 和 #705 只改 Claude Code 安装：docs/harness/claude-code.md、生成的 harness 树、README 里的 /plugin install。这个 fork 走 skills.sh，不引入 .claude-plugin/plugin.json，这两个 PR 也没有改到这里实际发出的技能正文。
• #702 把 Poteto Mode 改成 poteto-mode，把 Make Bot UI 改成 make-bot-ui。这个 fork 的 poteto-mode 已经跟目录名一致，且不发 make-bot-ui。
• #704 里的 docs-vs-tree 脚本在 pstack/ 外，检查的是生成的 Claude Code 树。这里不构建那棵树，所以没带脚本；指南正文的刷新已经接上。
• #710 和 #713 只改插件清单的版本号。这个仓库没有 plugin.json，版本记在 UPSTREAM.md。

保留的 fork 约定

• Spawn 仍走 profile：role / access / run，inherit，面板上的 ask。技能正文不点名 harness 工具，也不写模型 slug。
• 没有把模型 slug、Task / subagent_type 或 pstack-models.mdc 写回去。setup-pstack 的 harness 提示（references/harness-hints.md）没动。
• inherit 仍表示不覆盖模型。harness 拒绝调整后用 profile 值并说明。
• poteto-agent 和 Comment Sicko 仍是提示文件（skills/poteto-mode/references/poteto-agent.md、skills/no-comments/references/comment-sicko.md）。
• 历史、循环、提问仍是 profile 能力（history、loop、ask）。配方里仍是 loop until done，不是 /loop。
• 技能目录仍是 skills.sh 要的 skills/<name>/SKILL.md，frontmatter 有 name 和 description，name 与目录名一致。上游笔记里的 .agents/skills/ 没有拿来覆盖这个布局。生成的项目技能仍写到 .agents/skills/。
• eli5、show-me、html-plan 没动。third_party/pstack/LICENSE 没动。没有引入 make-bot-ui 或 Benny。

校对

• npx skills add . --list 找到 57 个技能（上一次是 56），包括 create-formal-verification-skill、ketchup、sharpen、eli5、show-me。frontmatter 的 name 与目录名一致。
• 改过的技能里没有冲突标记，也没有写回模型 slug 或 pstack-models.mdc。