SurfaceVacuum

COW' from q., its two phase-error bounds and the protocol it is not

5/5 passed in 71ms

Test	What it does	Result
test_abort_raw	Past the abort the rate is exactly zero and the phase error is reported above one half rather than clamped to it.	✅ pass
test_bounds_ordered	The certified worst case sits below Gao's Cauchy-Schwarz closed form at the same record and above the honest value, and the shorter phase error buys the longer key.	✅ pass
test_four_sequences	The Gram matrix is 4x4, symmetric, unit on its diagonal, with the empty sequence overlapping at e^-mu and e^-mu/2; a paired protocol has no such alphabet.	✅ pass
test_prime_apart	'cow' names the THREE-sequence protocol q.Link runs, so this layer refuses it rather than answering with the four-sequence variant, as it refuses 'cow-prime'.	✅ pass
test_vacuum_route	The route is the COW' data line priced at the certified phase error and halved, the gain being per two-pulse sequence where the rate is per pulse.	✅ pass