SurfaceAttenuation

Detector decoy: three receiver settings inverted for photon weights

3/3 passed in 0ms

Test	What it does	Result
test_probes_ordered	The two probing settings are the proposition's c1 below c2, written as transmittances, so they must decrease strictly below the transparent one.	✅ pass
test_round_trip	The forward no-click probabilities fed back through the inversion bracket the photon-number distribution they came from, with the vacuum weight exact.	✅ pass
test_transparent_first	The first setting anchors $x_0$ on $f(0)$, so an attenuating first setting is refused here and an imperfect detector is refused by the engine.	✅ pass