coding: reject malformed numstat evidence explicitly #383

Open
nsaspy wants to merge 0 commits from rage/195-numstat-errors into main
Owner

Closes #195. Advances #1.

RAGE RED 509e7914: malformed numeric git diff --numstat evidence and mixed binary markers must fail through the bounded CodingError contract rather than leaking raw conversion errors.

No production change yet. After RED proof: validate binary marker pairing and numeric conversion explicitly, preserving valid parsing, file bounds, snapshot recheck, no patch-content collection, then full registry/Nix/package/exact-head gates.

Closes #195. Advances #1. RAGE RED `509e7914`: malformed numeric `git diff --numstat` evidence and mixed binary markers must fail through the bounded `CodingError` contract rather than leaking raw conversion errors. No production change yet. After RED proof: validate binary marker pairing and numeric conversion explicitly, preserving valid parsing, file bounds, snapshot recheck, no patch-content collection, then full registry/Nix/package/exact-head gates.
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/195-numstat-errors:rage/195-numstat-errors
git switch rage/195-numstat-errors

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