coding: fail closed on changing diff evidence #384

Open
nsaspy wants to merge 0 commits from rage/193-diff-snapshot into main
Owner

Closes #193. Advances #1.

RAGE RED 5a095a08: a stable-HEAD diff snapshot must still fail if bounded git diff --numstat --no-renames HEAD -- evidence changes during the observation window.

No production change yet. After deterministic RED: re-read structured numstat evidence and compare snapshots, preserving max-files bounds and no patch-content collection; then full registry/Nix/package/exact-head gates.

Closes #193. Advances #1. RAGE RED `5a095a08`: a stable-HEAD diff snapshot must still fail if bounded `git diff --numstat --no-renames HEAD --` evidence changes during the observation window. No production change yet. After deterministic RED: re-read structured numstat evidence and compare snapshots, preserving max-files bounds and no patch-content collection; then full registry/Nix/package/exact-head gates.
Some checks failed
CI / test (pull_request) Failing after 17s
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/193-diff-snapshot:rage/193-diff-snapshot
git switch rage/193-diff-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/193-diff-snapshot
git switch rage/193-diff-snapshot
git rebase main
git switch main
git merge --ff-only rage/193-diff-snapshot
git switch rage/193-diff-snapshot
git rebase main
git switch main
git merge --no-ff rage/193-diff-snapshot
git switch main
git merge --squash rage/193-diff-snapshot
git switch main
git merge --ff-only rage/193-diff-snapshot
git switch main
git merge rage/193-diff-snapshot
git push origin main
Sign in to join this conversation.
No description provided.