CDN-353 stress-tests the CDN-352 gate-margin ledger by adding covariance between external cap errors. The signed margin S = Theta - Tᵣequired (C, R) keeps the open/closed verdict fixed for a given cap vector, while covariance changes only sigmaS and the resulting confidence score. The locked result is COVARIANCECHANGESCONFIDENCENOTSIGN.
Nicky Joseph Hubertus Catharina Hacquier (Thu,) studied this question.