Skip to content

Prüf-PR für Beitrag 4838 - #9

Open
MLA82 wants to merge 3 commits into
mainfrom
check/4838
Open

MLA82 wants to merge 3 commits into
mainfrom
check/4838

Conversation

@MLA82

@MLA82 MLA82 commented Sep 20, 2026

Copy link
Copy Markdown
Owner

Dieser PR dient zur Validierung der Anpassungen aus Beitrag 4838 im Fork.

An Orca scout teardown, or any Orca teardown run with --force, skipped the
early Orca path-match check and only re-verified it after
reap_task_worktree_processes had already run against the recorded worktree
path, so a stale or reassigned Orca worktree id could have its processes
signalled before ownership was ever proven.

Fold the Orca proof into require_owned_task_worktree_slot, the same
early, single-owner ownership determination the treehouse pool-slot claim
already uses, so it runs once, well before Fix 1/Fix 2, for every kind and
--force alike, instead of being re-checked ad hoc at each later call site.
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