coding: reject duplicate worktree evidence identities #366

Open
nsaspy wants to merge 0 commits from rage/230-deduplicate-worktree-evidence into main
Owner

Closes #230. Advances #1.

RED-first symbolic evidence integrity transaction. The first commit proves one canonical worktree path can currently project duplicate worktree_locked facts. Implementation follows only after exact RED proof; no Core or cross-plugin changes.

Closes #230. Advances #1. RED-first symbolic evidence integrity transaction. The first commit proves one canonical worktree path can currently project duplicate `worktree_locked` facts. Implementation follows only after exact RED proof; no Core or cross-plugin changes.
Some checks failed
CI / test (pull_request) Failing after 18s
This branch is already included in the target branch. There is nothing to merge.
View command line instructions

Checkout

From your project repository, check out a new branch and test the changes.
git fetch -u origin rage/230-deduplicate-worktree-evidence:rage/230-deduplicate-worktree-evidence
git switch rage/230-deduplicate-worktree-evidence

Merge

Merge the changes and update on Forgejo.

Warning: The "Autodetect manual merge" setting is not enabled for this repository, you will have to mark this pull request as manually merged afterwards.

git switch main
git merge --no-ff rage/230-deduplicate-worktree-evidence
git switch rage/230-deduplicate-worktree-evidence
git rebase main
git switch main
git merge --ff-only rage/230-deduplicate-worktree-evidence
git switch rage/230-deduplicate-worktree-evidence
git rebase main
git switch main
git merge --no-ff rage/230-deduplicate-worktree-evidence
git switch main
git merge --squash rage/230-deduplicate-worktree-evidence
git switch main
git merge --ff-only rage/230-deduplicate-worktree-evidence
git switch main
git merge rage/230-deduplicate-worktree-evidence
git push origin main
Sign in to join this conversation.
No description provided.