Repository navigation

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

Audit fresh-row conditioning in the selected stopped cover#2097
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
adamgall:research/contribution-20261014-03

Commits on Oct 14, 2026
- Prove fresh-row conditioning for the selected stopped cover
  adamgall
  committed
  1a4b266
- Clarify prime eligibility and remove redundant identity check
  adamgall
  committed
  1d3ee09