PostselectGuards

The direction the correction must be applied in, and the arguments refused

10/10 passed in 0ms

Test	What it does	Result
test_budget_stricter	ps_budget is below log2(eps) at x = 2, 16 and 52.	✅ pass
test_cost_domain	ps_cost refuses a fractional, zero, oversized or non-finite block and an out-of-range reduction dimension.	✅ pass
test_dim_domain	ps_dim, ps_tagged and ps_squash refuse a zero or oversized dimension in every slot.	✅ pass
test_epsilon_upward	ps_epsilon raises the failure probability, and rises with n and with x.	✅ pass
test_epsilon_vacuous	ps_epsilon refuses a lift that does not land below 1.	✅ pass
test_length_downward	ps_length is below its input at x = 2, 16, 52 and 2340.	✅ pass
test_lift_gated	ps_lift refuses all fifteen qkd family names, and on "qubit" spends both key length and security parameter.	✅ pass
test_log2_domain	ps_thirds and ps_width refuse a positive or non-finite logarithm.	✅ pass
test_secrecy_vacuous	ps_secrecy refuses a composition at or above 1.	✅ pass
test_trivial_x	ps_dim(1, 1) is refused as a no-op.	✅ pass