SixStateBudget

The finite-key epsilon budget, its three slots and the union bound inside one

2/2 passed in 0ms

Test	What it does	Result
test_length_spends	The slot rebuilds the two subtracted correction terms and the share the two Lemma 3 widths, which taken at the slot would report a longer key.	✅ pass
test_slot_recomposes	Three slots plus the nested error-correction term recompose the declared deviation, and the per-estimate share is half a slot by the union bound.	✅ pass