[proofcheck e2e] Fix clamp so values above the upper bound return the bound - #51

[proofcheck e2e] Fix clamp so values above the upper bound return the bound#51

bhaskargurram-ai wants to merge 1 commit into

proofcheck-e2e/smuggled-hunk-base-20261013-230643writ-agent/provio:proofcheck-e2e/smuggled-hunk-base-20261013-230643from

proofcheck-e2e/smuggled-hunk-20261013-230643writ-agent/provio:proofcheck-e2e/smuggled-hunk-20261013-230643Copy head branch name to clipboard