SecurityCompose

Declared terms composed by each family's own rule

6/6 passed in 0ms

Test	What it does	Result
test_bb84_sum	BB84-WCP's total is eps_sec + eps_cor, and its secrecy parameter divides 21 ways.	✅ pass
test_cv_triple	q.FiniteSize.eps is per term over three failure events, so a declared 1e-10 composes to 3e-10.	✅ pass
test_explain	explain() reports each term with its kind and role, the composed halves, and the refusal text where a half does not compose.	✅ pass
test_mdi_states	MDI-BB84's parameter is per announced Bell state, so two states compose to twice one.	✅ pass
test_pairing_sum	Mode pairing's total is eps_sec + eps_cor, and its secrecy parameter divides 24 ways.	✅ pass
test_sixstate_nesting	Six-state's secrecy is eps - eps_ec over three shares, and sixstate_length refuses eps_ec >= eps.	✅ pass