Manuscript Oai280-C@1 · Oai280-C.tex · section · 7d44b8c0
Simultaneous decisions
Finite-confidence certification › Simultaneous decisions · lines 1635–1642
The distinction between complete validation and selected records, and between specified-decoder and optimal-decoder decisions, follows the roles reported in CheungOai265B,CheungOai290A; the coverage theorem is proved locally here.