ProtocolTwoState
Two non-orthogonal states, and a phase error derived rather than dialled
8/8 passed in 96ms
| Test | What it does | Result |
|---|---|---|
test_derived_phase | b92_rate at the reported gain, bit error and phase error, capped by the reported ceiling, rebuilds the rate exactly. | ✅ pass |
test_engine_agreement | Every reported number is bit for bit _core.b92_point's for the same receiver, the gain and error rate b92_detect's. | ✅ pass |
test_guards | The family refuses the receivers, security models, detector memory and pulse train its closed form does not consume. | ✅ pass |
test_reference_supplied | The strong-reference branch derives no phase error, pins a supplied one, and prices it cheaper than the derived branch at this loss. | ✅ pass |
test_single_engine | The seam-free branch's numbers are b92_plain's at the overlap, loss and depolarising rate reported, and overlap_best is the amplitude overlap b92_limit returns, not its square. | ✅ pass |
test_single_refusals | A dark count, a fringe visibility and a supplied phase floor reach no term of the single-photon branch and are refused. | ✅ pass |
test_supplied_floor | A supplied bound is a floor on the plain branch: a looser one is honoured and costs key, a tighter one is not taken. | ✅ pass |
test_usd_boundary | At a detected transmittance equal to one less the state overlap the derived bound is one half and the rate zero, and a better span carries key. | ✅ pass |