Manuscript Oai280-B@1 · Oai280-B.tex · section · 6d92ab75
Validation contract
Bell correlations and simultaneous finite-data certification › Validation contract · lines 1346–1352
Independence between settings or tasks is not required for the coverage union bound. Adaptive stopping, validation-driven decoder tuning, and unaccounted channel drift are not covered by this fixed-sample contract.