PostselectCost
What the lift costs in key bits, in epsilon and in acceptance-test width
7/7 passed in 0ms
| Test | What it does | Result |
|---|---|---|
test_decoy_shape | A decoy-BB84 shape reduces at x = 2340 and costs 94240.25 key bits over a 1e9 block, leaving most of a megabit. | ✅ pass |
test_length_deficit | A 1000-bit key against a 94240-bit lift returns the raw deficit, not a clamped zero. | ✅ pass |
test_qubit_cost | A qubit pair over a 1e9 block: log2 g = 408.2102, a key cost of exactly 2 log2 g, and an IID budget of 2^-441.4294. | ✅ pass |
test_thirds_compose | ps_thirds recomposes through ps_secrecy to 2^budget, with eps_AT squared. | ✅ pass |
test_three_state | At NTZLT's x = 52, n = 1.08e13 the cost is 1988.2204 and the IID budget underflows f64, so ps_epsilon refuses even 5e-324. | ✅ pass |
test_width_binds | The acceptance-test half-width at x = 2340 is 2.5569e-2 at n = 1e9 and 3.2934e-4 at 1e13, falling with the block. | ✅ pass |
test_width_qubit | At x = 16, n = 1e9 the acceptance-test half-width is 2.4884e-3. | ✅ pass |