RoutesDifferential

The finite-key DPS length, and the receiver it will not default

5/5 passed in 1ms

Test	What it does	Result
test_budget_declared	Family dps composes MTT23 Eq. (50), not a sum, to 2^-27 at the paper's parameters, and qkd.security.keylength refuses it by name.	✅ pass
test_kato_beats_azuma	kato=True gives a longer key than MTT23 Eq. (53)'s Azuma branch at this operating point.	✅ pass
test_module_length	qkd.dps.finite returns a positive MTT23 key length in bits over the run, its source tail, forward counts and Kato pair each equal to _core's.	✅ pass
test_receiver_stated	detector is keyword-only with no default, the engine refusing threshold and the argument check any other string.	✅ pass
test_train_is_other	A q.DifferentialPhase link, the continuous threshold-detector train of Inoue, Waks & Yamamoto, reports an asymptotic rate and no key length.	✅ pass