Skip to content

SelectF128: update frozen CDF index behavior - #10

Merged
jannotti merged 4 commits into
mainfrom
sortition-update-freeze
Aug 5, 2026
Merged

SelectF128: update frozen CDF index behavior#10
jannotti merged 4 commits into
mainfrom
sortition-update-freeze

Conversation

@cce

@cce cce commented Aug 3, 2026

Copy link
Copy Markdown
Collaborator

In #8 there was an additional check added in 6b0359c to short-circuit and return money. This returns the first frozen value of j instead, which prevents the entire stake from being returned and better matches the old Boost behavior.

cce added 2 commits August 3, 2026 14:12
Return the first permanently frozen CDF index instead of falling through to the account's stake. Mirror the policy in the same-precision oracle and pin current committee-scale outputs against high-precision and Boost references.
Comment thread f128.go Outdated
Comment thread sortition.go
@cce
cce force-pushed the sortition-update-freeze branch from 4a6de36 to 29900ea Compare August 4, 2026 17:26
@jannotti
jannotti merged commit e700281 into main Aug 5, 2026
9 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants