Add SelectF128 sortition implementation - #8

Merged

cce merged 37 commits into

mainfrom

Jul 22, 2026

Commits on Jun 19, 2026

add f128 deterministic sortition implementation
cce
committed
6c91e65

Commits on Jul 21, 2026

add FuzzF128Ops
cce
committed
b479649
trim comments
cce
committed
c4febea
add direct 256-bit digest-to-f128 ratio conversion and passes an f128 ratio into the CDF walk
cce
committed
623a567
add TestSelectF128RatioExactlyOne
cce
committed
0b07a39
add f128 sub, compute 1-p natively in newBinomialF128

jannotti
authored and
cce
committed
b646576
add f128 div, drop big.Float from newBinomialF128 entirely

jannotti
authored and
cce
committed
789f596
fuzz sub and div in FuzzF128Ops, add BenchmarkSelectF128
cce
committed
a6645ef
take expectedSize as uint64 in SelectF128
cce
committed
da28510
update comment
cce
committed
9902d6d
correct ratio==1.0 docs: both walk outcomes occur; pin both branches
cce
committed
0fdbb9d
clarify tail-edge divergence wording in SelectF128 doc
cce
committed
eec84b8
short-circuit the walk when the accumulated CDF freezes
cce
committed
6b0359c
document frozen-tail risk under consensus bounds
cce
committed
e59c909
make the f128 exponent explicitly int64
cce
committed
0861bcf
fix divU rounding for shallow quotients (divisors above ~2^62)
cce
committed
acafe69
add pgregory.net/rapid property tests beside the go fuzz targets
cce
committed
ea6538c
export SelectF128MaxMoney as the walk's domain bound
cce
committed
228fc16
lower SelectF128MaxMoney to 2^56 with a corrected exponent-safety proof
cce
committed
924c168
seed TestSortitionBasic deterministically
cce
committed
e2531e7
seed the fuzz blind spots, band the rapid generators, add a monotonicity property
cce
committed
c190cfa
pin the defensive primitive arms with direct unit tests
cce
committed
4008e65
add 512-bit tolerance oracle, knife-edge tests, and a mutation campaign
cce
committed
118d53f
add an independent-formula exact oracle and a distribution test
cce
committed
24e9501
mutation_check: suppress rapid failfiles from killed mutants
cce
committed
8552735
run the mutation campaign in CI
cce
committed
43b0ab0
scale the straddle step to the boundary's own ulp
cce
committed
d5f8c1e
bump actions versions
cce
committed
003ae1b
go version for actions
cce
committed
f3f8709
fix args in windows CI
cce
committed
b7835fb
test: add independent f128 and CDF oracles
cce
committed
237ce64
test: harden f128 oracle and liveness coverage
cce
committed
288b270

Commits on Jul 22, 2026

fix CI and update copyright
cce
committed
357a49c
CI: use original job name
cce
committed
5c06920
ci: add native linux/386 leg to exercise 32-bit int
cce
committed
193a7f9
ci: add emulated linux/arm/v7 leg (Raspberry Pi target)
cce
committed
51f9204
CI: add cancel-in-progress: true
cce
committed
26c0c59