FlawLink
The q.Link route: the analysis named, the tilt carried and what it refuses
8/8 passed in 1ms
| Test | What it does | Result |
|---|---|---|
test_analysis_named | q.FlawBound has no default analysis and refuses a third, the two runs reporting e_phase and coin under names of their own. | ✅ pass |
test_asymptotic_only | A declared block is refused naming flaw_finite, Mizutani Eq. (43) on a SINGLE-PHOTON source, which ships and returns a positive length. | ✅ pass |
test_closed_form | A pulse train, a detector memory, an impairment and q.Asymptotic security are each refused by name, and explain() equals the run's dict at any seed. | ✅ pass |
test_link_exact | Both analyses reach q.Link bit for bit against the engine, with eta_ab the channel times the detector efficiency. | ✅ pass |
test_link_ordering | On the link the tolerant rate beats the standard one at 3, 10 and 20 dB and the ratio grows with loss. | ✅ pass |
test_mismatch_barred | A second detector efficiency is refused naming arXiv:2412.09684, both analyses needing Bob's inconclusive operator basis independent. | ✅ pass |
test_no_intensity | q.FlawedKeying carries only flaw and sift, and q.SourceFlaw.coin is the one entry point taking a supplied y1. | ✅ pass |
test_signed_tilt | The link reads the SIGNED tilt off q.SourceFlaw, flat in the flaw at 0 and costlier at -delta, and refuses a q.BasisAnalyser beside it. | ✅ pass |