Skip to content

sync: upstream pstack e73df47 (0.15.32), rebase carried patches - #27

Merged
AlexNegrescu26 merged 5 commits into
mainfrom
sync/upstream-e73df47
Oct 25, 2026
Merged

AlexNegrescu26 merged 5 commits into
mainfrom
sync/upstream-e73df47

Conversation

@AlexNegrescu26

Copy link
Copy Markdown
Collaborator

Why

Upstream moved from 4ec7ffa to e73df47 (0.15.32) and merged equivalents of four fixes this port carried as patches. The daily upstream-sync job cannot build at the new head, because upstream's GNU stat fix (#805) rewrote lines worktree-audit-omp.patch matches on.

What changed

  • worktree-audit-omp.patch is rebased onto upstream's own stat_fmt and fmt_day probe. It drops our duplicate probe and keeps every audit behaviour.
  • zzzz-check-plan-fix.patch is deleted, and zzz-watch-pr-fixes.patch shrinks to #769. Upstream #801 to #804 contain the same code and tests as our hunks.
  • rules.sed and stale-exempt.tsv follow the new text: swarm's renumbered steps, ketchup-video, and one pattern for the per-skill "Use for /name" lines.
  • Pin and generated tree move to e73df47 (60 skills).

Scope

Blast Radius

Every marketplace install gets the 0.15.32 skills on upgrade. Moving the pin also turns the daily upstream-sync job green again.

Verification

  • bash omp-port/check-port.sh prints check-port: PASS, with reproducible at e73df47. test-gate-mutations.sh and test-worktree-audit.sh pass.
  • The merged-equivalent watch-pr tests pass 14 of 14 on raw e73df47 and fail 10 of 14 on raw 4ec7ffa, so they detect the defects. #769's tests still fail on raw e73df47.
  • zzzz-orch-lock-takeover kept: 0 simultaneous holders in 15 trials at K=8, 16 and 32 on a stale lock, against 9 trials with 2 to 4 holders on raw upstream. A fresh marker blocks takers, and a marker older than 10 s is recovered, after a real SIGKILL.
  • bun omp-port/smoke-plugin.mjs on omp 18.12.6: 60 of 60 skills register. poteto-mode script tests, setup-pstack tests, extension tests and typecheck pass.

…s.mjs

omp config set stores any string, so a bad selector or unknown alias failed only at spawn. The script checks every selector and effort against omp models --json before writing, touches only the three pstack aliases and their agent mappings, and is idempotent.
worktree-audit-omp.patch now applies on top of upstream #805 and reuses its
GNU/BSD stat and date probe instead of carrying a second one. The BSD stub in
test-worktree-audit.sh serves `stat -f <format>` with %m and %N the way BSD
does, since the reused probe asks for `-f '%m %N'`.

Upstream merged #801, #802, #803 and #804 with the same code and tests as the
carried #664, #666, #672 and #684 hunks. zzzz-check-plan-fix.patch is gone and
zzz-watch-pr-fixes.patch carries #769 alone. zzzz-orch-lock-takeover.patch
applies unchanged at exact offsets after #804.
Upstream #807 renumbered swarm's Phase A, so the model-step rule now takes
any step number and keeps it, and the Phase B rule matches any step number.
ketchup-video joins the `/skill:<name>` alternation. The description rule
is one `Use for /<name>` pattern instead of a per-name list that had
already missed ketchup, sharpen and correct.

The `run_in_background: true` exemption matched three sentence rules as a
substring and hid the Phase B rule going stale. It now names the token
rule it was written for, and the retired figure-it-out exemption is gone.
Moves the pin from 4ec7ffa across 13 upstream pstack commits: the
ketchup-video skill, the statechart Pele renderer, the /statechart read
step in generated verify skills, the reflect plugin-cache rule, the swarm
renumbering, and the merged watch-pr, check-plan and orch fixes the port
used to carry as patches. The READMEs count 60 skills.
PORTING.md named three carried-PR patches that no longer exist in that
form. It now names all five patches and what each carries, and records
that a merged equivalent can re-apply at an offset instead of failing.
@AlexNegrescu26
AlexNegrescu26 merged commit 18bde24 into main Oct 25, 2026
2 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant