Skip to content

Audit fresh-row conditioning in the selected stopped cover - #2097

Merged
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
adamgall:research/contribution-20261014-03
Oct 15, 2026
Merged

Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
adamgall:research/contribution-20261014-03

Clarify prime eligibility and remove redundant identity check

1d3ee09
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
verify (3.11)
succeeded Oct 15, 2026 in 48s