[TEMP] Peras 23 fixup#2015

Draft

tbagrel1 wants to merge 20 commits into

mainfrom

peras/fixup-wfals-everyonevotes-implementations

Commits on Apr 27, 2026

Commits on Apr 28, 2026

Clean-up imports in WFALS and EveryoneVotes
tbagrel1
committed
Add comment on accum stake (right to left)
tbagrel1
committed
merge partial getCandidateInSeat and predicate seatIndexWithinBounds into total getCandidateIfSeatWithinBounds

tbagrel1
and
Copilot
committed
Consistent comment on export list of Committee.{WFALS,EveryoneVotes}
tbagrel1
committed
Change the error kind from `InvalidVoteSignature` to `CryptoError` when evalVRF fails in checkShouldVote and remove redundant LocalSortitionError (in favor of InvalidVoterEligibilityProof)

tbagrel1
and
Copilot
committed
Change `VotesWithSameTarget` to `VotesNoDupNonEmptySameTarget` to ensure all invariants holds in `forgeCert`

tbagrel1
and
Copilot
committed