[caelaxie]

summary

Ports upstream cursor/plugins pstack after e73df471cd4bd918367e99f3dd9c51bd53ddf5f0 (0.15.32, #807) through c742dd61706fbacc1b95f1a20b7b988cf096ce6c (0.15.36, #1043).

git log e73df471cd4bd918367e99f3dd9c51bd53ddf5f0..c742dd61706fbacc1b95f1a20b7b988cf096ce6c -- pstack/ is the seven commits below, in the order they landed. The compare range also contains 36 commits that do not touch pstack/.

ported

• #977 34b1b7c96f09f81a21a6c78f65b7833f7dcb5b24 port the statechart compiler
• #978 7c7bde7033df2a83a23294571ef12c51cf560217 bump to 0.15.33
• #982 740d2c0786246cafac41906198f656b135194d3b keep qualified action names in property traces
• #983 164ced10fa576ddf91e1f03b4fa9d1183c8272fe bump to 0.15.34
• #981 519d36aa98955bf680db01bcde5fdfba686dc901 wait for the reap in the statechart SIGKILL view test
• #986 ab1f702ce8e8b6557edb56b09f52cde8bfb83f17 port recent skill updates (0.15.35): poteto-mode, autopilot playbooks, interrogate, arena cross-judge, ketchup-video, principle-explain-the-number, orchestrate, README and guide
• #1043 c742dd61706fbacc1b95f1a20b7b988cf096ce6c Orchestrate becomes agentic and the orch scripts are deleted (0.15.36)

skills/statechart/ matches c742dd61706fbacc1b95f1a20b7b988cf096ce6c byte for byte. So do skills/ketchup-video/SKILL.md, skills/create-formal-verification-skill/SKILL.md, skills/principle-explain-the-number/SKILL.md, skills/poteto-mode/scripts/package.json, skills/poteto-mode/playbooks/autopilot-stack.md, and docs/guide/04-design.md.

antigravity-only adaptations

• Version 0.15.36 in plugin.json and .antigravity-plugin/plugin.json. Upstream bumps pstack/plugin.json and pstack/.cursor-plugin/plugin.json. This port has no .cursor-plugin manifest. The agy manifest keeps its existing shape (logo, suggestedPrompts). Root plugin.json keeps the pstack-ports homepage and repository.
• README pin is 0.15.36 at c742dd61706fbacc1b95f1a20b7b988cf096ce6c.
• Arena's new cross-judge rule (a different tier, in pool order, skip the judge when none runs) and the dropped-seat backfill are applied on the existing agy wording (Model tiers, invoke_subagent, ~/.gemini/config/rules/pstack-models.md, TypeName: "research"). setup-pstack says the same thing about the cross-judge pool.
• Interrogate is the upstream adversary flow. generalPurpose is TypeName: "self" in invoke_subagent, because TypeName: "research" is read-only and cannot run a repro. The reviewers line is read from ~/.gemini/config/rules/pstack-models.md. The four reference files are deleted with upstream.
• Orchestrate is the new agentic playbook, and skills/poteto-mode/scripts/orch/ is deleted. Task is invoke_subagent. environment: "cloud" is Workspace: "branch", and work that needs this machine uses Workspace: "share". Wake-ups use schedule or /goal. A follow-up that needs a worker's built state uses send_message. Model diversity is a different tier. Local transcripts stay under <appDataDir>/brain/.
• Poteto-mode's first-message trigger, Explain the Number wording, background steer or resume, rejected-tier fallback, and autopilot-stack description are applied on the existing tier wording.
• Autopilot-full, babysit, opening-a-pr, multi-phase-plan, autonomous-run, the guide, poteto-help, and the README rows are the upstream text on the existing agy paths (/deslop as a pstack skill, schedule, installed plugin paths).
• CI runs bun install and bun run test in skills/statechart/scripts. The compiler tests are TypeScript, so node --test skills/*/scripts/test/*.test.mjs no longer matches a file.

skipped

• Every commit above also writes harness/pstack/claude-code/ copies of the same files. This repo does not ship that harness tree.
• The 36 commits in e73df471cd4bd918367e99f3dd9c51bd53ddf5f0..c742dd61706fbacc1b95f1a20b7b988cf096ce6c that do not touch pstack/ (other plugins in the monorepo).
• Upstream .github/workflows/validate-plugins.yml checks generated harness trees. This repo's CI does not have that step, and there is no agy equivalent of the generated copy.

limits

• Ketchup-video is the upstream text. It has no script. It tells the agent to render a subtitled mp4. A live turn may not have a video tool. The skill text is unchanged.
• Statechart installs TLC with mise when TLA2TOOLS is unset. This machine has no mise. The live Counter run below sets TLA2TOOLS to TLA+ v1.7.4.

harness proof

Head 90a93e4f023dbac80f67ca7b56aaea7c9be84e8a. agy 1.4.8, installed from the antigravity CLI installer (manifest .version is 1.4.8). Commands ran against this branch with a clean HOME.

$ agy --version
1.4.8

$ agy plugin validate .
Validating pstack (.antigravity-plugin/plugin.json)

  ⚠ plugin.json: ignored: .antigravity-plugin/plugin.json takes precedence

  skills 61 · agents 2 · rules 0 · hooks 0 · mcpServers 0 · sidecars 0

✔ Validation passed with 1 warning

$ agy plugin install https://github.com/pstack-ports/agy-pstack/tree/cursor/port-pstack-0.15.36-8d9a
Cloning plugin from https://github.com/pstack-ports/agy-pstack.git...
  [ok]    pstack
          ✔ skills      : 61 installed
          ✔ agents      : 2 installed (comment-sicko, poteto-agent)
          Installed to $AGY_HOME/.gemini/config/plugins/pstack

$ agy plugin validate "$AGY_HOME/.gemini/config/plugins/pstack"
✔ Validation passed with 1 warning
  skills 61 · agents 2 · rules 0 · hooks 0 · mcpServers 0 · sidecars 0

$ agy plugin list
Installed plugins:
- pstack (enabled, 0.15.36)
    Source:     antigravity
    Components: 61 skills, 2 agents

$ git -C "$AGY_HOME/.gemini/config/plugins/pstack" rev-parse HEAD
90a93e4f023dbac80f67ca7b56aaea7c9be84e8a

The repo checker printed Validated 61 skills, 2 agents, and 23 playbooks. agy plugin list --json includes poteto-mode, arena, interrogate, ketchup-video, and statechart. Orchestrate is a playbook, not a skill. The installed copies of those five skills, skills/poteto-mode/playbooks/orchestrate.md, skills/statechart/scripts/statechart, and plugin.json match this commit.

The installed statechart CLI on the Counter corpus (TLA+ v1.7.4, tla2tools.jar, Java 21, TLA2TOOLS set) exits 0. chart.mmd matches the committed corpus chart:

$ statechart Counter.tla --config Counter.cfg --out chart
# Counter

TLC reached 4 states and 3 steps. The chart draws 4 states and 3 arrows.

## Rules that hold
Low, StaysSmall

Wrote chart

stateDiagram-v2
  s0: 0
  s1: 1
  s2: 2
  s3: 3
  [*] --> s0
  s0 --> s1: Inc
  s1 --> s2: Inc
  s2 --> s3: Inc

With TLA2TOOLS unset and no mise on PATH, the same command exits 2 and prints Cannot find TLC: mise install failed: spawn mise ENOENT.

$ agy --print="/poteto-mode which playbook is a one-line typo fix, then stop"
Authentication required.

The print turn stops at Google OAuth. This environment is not signed in, so poteto-mode, arena, interrogate, orchestrate, and ketchup-video do not get a live model turn. Their installed files match this commit, and the scripted checks below ran.

$ bun run typecheck   # skills/poteto-mode/scripts, bun 1.4.4
tsc --project watch-pr/tsconfig.json --noEmit --strict
(exit 0)

$ GIT_CONFIG commit.gpgsign=false bun run test
Ran 62 tests across 4 files.
0 fail

$ (cd skills/statechart/scripts && bun install && bun run test)
# tests 334
# pass 267
# fail 0
# skipped 67

The 67 statechart skips are the TLC cases. TLA2TOOLS was unset for that run. Poteto-mode is 62 tests because the orch suite is gone with the scripts.

CI on this PR passed: run 40617127144, head 241be3116ec0f12df73fe1ba3bab07ff0feffda4. Validate plugin succeeded, including the statechart bun run test step.

Current main (552187e7c3dd799419c6e14a065351ce81dd60ec, 0.15.32) also validates, installs, and lists on agy 1.4.8 (61 skills, 2 agents). No separate release-check PR.

  

[caelaxie]

verdict: changes requested (comment review, same account as author).

checked at 241be31 against upstream c742dd6: all 406 added skills/statechart/ files byte-identical, the 7 files the body calls identical are identical, all 33 removals are gone upstream too. no new .cursor/cursor-team-kit mentions, the old ones are dropped, deslop/control-cli/control-ui untouched. versions 0.15.36 in both manifests, readme pin right. ci Validate plugin green. harness proof (validate + install on the branch + list at the exact head + installed statechart cli on counter) is accepted under the auth-blocked precedent.

two divergences block the merge, both in new text:

1. skills/poteto-mode/playbooks/orchestrate.md line 5 rewrites more than agy needs and leaves one cursor-only concept in place.
2. skills/interrogate/SKILL.md line 17 adds sentences agy doesn't strictly need.

fix those and push. no new harness run needed for text-only changes, just a fresh agy plugin install + agy plugin list at the new head.

[caelaxie]

two things on this line.

(a) upstream: Watch each PR with PR and CI event subscriptions when your harness has them. that's already conditional on the harness, so it works verbatim on agy. the swap to schedule or /goal adds a timer wake, which sits badly with run no polling loops in the next sentence. smallest fix: restore the upstream sentence.

(b) the Project tracker (\notes.md`) and the Project storeis cursor projects, which agy doesn't have.docs/guide/07-overnight.mdin this same pr already maps a cursor project to a dedicated coordinator thread. smallest fix keeps the shape, e.g.Keep the program's state in a tracker file (`notes.md`) in the coordinator's workspace.`

[caelaxie]

upstream: Read the \interrogate reviewers` line in place of `arena runners`. ... Spawn each adversary as `generalPurpose`.`

only the spawn needs an agy mapping. the rules path and the always-applied rule ... do not read_file sentence are already in arena phase a step 3, which this step runs, and the research is read-only sentence is rationale, not instruction. smallest fix: keep the upstream text and change only the spawn to Spawn each adversary with \TypeName: "self"` in `invoke_subagent`.`

[cursor]

head 90a93e4f023dbac80f67ca7b56aaea7c9be84e8a. agy 1.4.8. clean home.

$ agy --version
1.4.8

$ agy plugin validate .
Validating pstack (.antigravity-plugin/plugin.json)

  ⚠ plugin.json: ignored: .antigravity-plugin/plugin.json takes precedence

  skills 61 · agents 2 · rules 0 · hooks 0 · mcpServers 0 · sidecars 0

✔ Validation passed with 1 warning

$ agy plugin install https://github.com/pstack-ports/agy-pstack/tree/cursor/port-pstack-0.15.36-8d9a
Cloning plugin from https://github.com/pstack-ports/agy-pstack.git...
  [ok]    pstack
          ✔ skills      : 61 installed (architect, arena, automate-me, benchmark-checklist, blast-radius, bro, control-cli, control-ui, correct, create-formal-verification-skill, create-verification-skill, deslop, figure-it-out, how, in-your-own-words, interrogate, ketchup, ketchup-video, maintain-formal-verification-skill, maintain-verification-skill, make-bot-ui, no-comments, poteto-help, poteto-mode, principle-attack-the-premise, principle-boundary-discipline, principle-build-the-lever, principle-encode-lessons-in-structure, principle-exhaust-the-design-space, principle-experience-first, principle-explain-the-number, principle-fix-root-causes, principle-foundational-thinking, principle-guard-the-context-window, principle-laziness-protocol, principle-make-operations-idempotent, principle-migrate-callers-then-delete-legacy-apis, principle-minimize-reader-load, principle-model-the-domain, principle-never-block-on-the-human, principle-outcome-oriented-execution, principle-prove-it-works, principle-redesign-from-first-principles, principle-separate-before-serializing-shared-state, principle-sequence-verifiable-units, principle-subtract-before-you-add, principle-test-behavior-not-implementation, principle-type-system-discipline, recall, reflect, setup-pstack, sharpen, show-me-your-work, statechart, swarm, tdd, teach, technical-writing, typescript-best-practices, unslop, why)
          ✔ agents      : 2 installed (comment-sicko, poteto-agent)
          Installed to /tmp/agy-proof-home/.gemini/config/plugins/pstack

$ agy plugin list
Installed plugins:
- pstack (enabled, 0.15.36)
    Source:     antigravity
    Components: 61 skills, 2 agents

$ git -C /tmp/agy-proof-home/.gemini/config/plugins/pstack rev-parse HEAD
90a93e4f023dbac80f67ca7b56aaea7c9be84e8a

cmp vs head blobs, both identical:

• skills/poteto-mode/playbooks/orchestrate.md 4648d60cb1bb5ae73675d8f0ff2048b7d4da7cef
• skills/interrogate/SKILL.md 1a393a5216a8e044fc79bfb730cece6bd3143893

installed grep:

• orchestrate.md:5 Watch each PR with PR and CI event subscriptions when your harness has them. and a tracker file (notes.md) in the coordinator's workspace
• interrogate/SKILL.md:17 Read the interrogate reviewersline in place ofarena runners. spawn is TypeName: "self" in invoke_subagent

[caelaxie]

pass at 90a93e4: 241be31..head touches only orchestrate.md:5 and interrogate/SKILL.md:17, each upstream c742dd6 verbatim except invoke_subagent / TypeName: "self" and the tracker file in the coordinator's workspace (same mapping as 07-overnight on main).
ci Validate plugin green on the head sha, proof comment shows agy install + list at 0.15.36 with installed HEAD = 90a93e4 and deslop, control-cli, control-ui present.