ApiPinning

Noise-plane conversion, fibre derivation and bit-for-bit determinism

6/6 passed in 276ms

Test	What it does	Result
test_dac_off_pipeline	A described DAC is charged onto the claim, not sampled: one set of frames gives the same estimates at 16 and 6 bits, and 6 bits costs key.	✅ pass
test_determinism	Two identically constructed q.Links return bit-identical floats: nothing in the closed-form path is sampled.	✅ pass
test_fiber_derivation	Fiber(length, alpha) derives $T={10}^{-\alpha L/10}$ and labels it derived; a pinned $T$ reports pinned; $\xi$ is default either way, a Fiber carrying no excess noise.	✅ pass
test_measure_matches_run	One measurement claimed under two security models reproduces two independent runs bit for bit.	✅ pass
test_plane_direction	An output-referred $\xi$ divides by $T$ and costs key rate against the same number input-referred.	✅ pass
test_plane_labels	An output-referred $\xi$ is reported as derived at its input-plane value $\xi /T$; an input-referred one as pinned, unchanged.	✅ pass