fix: canonicalize repository changed-path evidence #316

Open
nsaspy wants to merge 0 commits from rage/332-coding-canonical-changed-paths into main
Owner

Implements #332 as a focused TDD transaction.

RED first: proves non-canonical relative aliases can currently enter symbolic repository evidence and evade path-identity reasoning.

Implementation will require canonical repository-relative POSIX path strings before projection, then rerun full compatibility/registry/plugin/package gates before merge.

Implements #332 as a focused TDD transaction. RED first: proves non-canonical relative aliases can currently enter symbolic repository evidence and evade path-identity reasoning. Implementation will require canonical repository-relative POSIX path strings before projection, then rerun full compatibility/registry/plugin/package gates before merge.
Some checks failed
CI / test (pull_request) Failing after 25s
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/332-coding-canonical-changed-paths:rage/332-coding-canonical-changed-paths
git switch rage/332-coding-canonical-changed-paths

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/332-coding-canonical-changed-paths
git switch rage/332-coding-canonical-changed-paths
git rebase main
git switch main
git merge --ff-only rage/332-coding-canonical-changed-paths
git switch rage/332-coding-canonical-changed-paths
git rebase main
git switch main
git merge --no-ff rage/332-coding-canonical-changed-paths
git switch main
git merge --squash rage/332-coding-canonical-changed-paths
git switch main
git merge --ff-only rage/332-coding-canonical-changed-paths
git switch main
git merge rage/332-coding-canonical-changed-paths
git push origin main
Sign in to join this conversation.
No description provided.