coding: fail closed on changing dirty-state evidence #385

Open
nsaspy wants to merge 0 commits from rage/191-inspect-dirty-snapshot into main
Owner

Closes #191. Advances #1.

RAGE RED fde3476e: repository inspection must reject a snapshot when HEAD/branch remain stable but changed-path evidence changes during the inspection window.

No production change yet. After deterministic RED: re-read bounded tracked/untracked evidence and compare canonical sets, preserving path bounds and no patch-content collection; then full registry/Nix/package/exact-head gates.

Closes #191. Advances #1. RAGE RED `fde3476e`: repository inspection must reject a snapshot when HEAD/branch remain stable but changed-path evidence changes during the inspection window. No production change yet. After deterministic RED: re-read bounded tracked/untracked evidence and compare canonical sets, preserving path bounds and no patch-content collection; then full registry/Nix/package/exact-head gates.
Some checks failed
CI / test (pull_request) Failing after 15s
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/191-inspect-dirty-snapshot:rage/191-inspect-dirty-snapshot
git switch rage/191-inspect-dirty-snapshot

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/191-inspect-dirty-snapshot
git switch rage/191-inspect-dirty-snapshot
git rebase main
git switch main
git merge --ff-only rage/191-inspect-dirty-snapshot
git switch rage/191-inspect-dirty-snapshot
git rebase main
git switch main
git merge --no-ff rage/191-inspect-dirty-snapshot
git switch main
git merge --squash rage/191-inspect-dirty-snapshot
git switch main
git merge --ff-only rage/191-inspect-dirty-snapshot
git switch main
git merge rage/191-inspect-dirty-snapshot
git push origin main
Sign in to join this conversation.
No description provided.