TrainTails
RRDPS finite key: three binomial tails at rates no observable moves
5/5 passed in 0ms
| Test | What it does | Result |
|---|---|---|
test_above_monotone | The upper-tail threshold rises with the population and with a tighter eps, and its excess over the mean closes as one over the square root of the population. | ✅ pass |
test_secpar_target | Those five values compose back to the target exactly, both branches of the maximum landing on it. | ✅ pass |
test_split_anchor | ANCHOR. The epsilon assignment at d = 2^-50 returns Takesue's own five values. | ✅ pass |
test_tagged_constant | With no double clicks observed the multiphoton threshold is the constant log2(1/eps)/log2(8/7). | ✅ pass |
test_vacuous_tail | A population too small for any threshold to satisfy the tail returns the whole population. | ✅ pass |