SurfaceFlaws
A flawed source's two angles, and the tilt that cancels the flaw
7/7 passed in 0ms
| Test | What it does | Result |
|---|---|---|
test_analyses_apart | The two four-tuples are not slot-aligned: the fourth of tolerant is a phase error rate and the fourth of standard is a coin imbalance, whose GLLP bound sits above the exact value. | ✅ pass |
test_decoy_seam | coin() is the only entry point taking a supplied y1; the two rate methods build their own and expose no seam a decoy bound could enter. | ✅ pass |
test_engine_match | Every method reaches its engine entry point with the two angles in the engine's own argument order. | ✅ pass |
test_flaw_shipped | q.SourceFlaw is in __all__ and present on the package. | ✅ pass |
test_flaws_cancel | At tilt = 0 the phase error does not move with the flaw at all, and at tilt = -delta it is sin^2(delta/2). | ✅ pass |
test_tilt_signed | The published configuration is a SIGNED tilt = -delta, while the only angle a q.Link receiver carries is an unsigned misalignment refused below zero. | ✅ pass |
test_tilt_stated | Neither angle defaults, so the configuration in which Bob's modulator cancels Alice's cannot be fallen into by leaving a field out; opposed() is tilt = -delta. | ✅ pass |