CDN-355 turns the CDN-354 score-level precision ladder into an axis-level contract. A cap-vector claim is incomplete unless sigmac0, sigmaᵣho, sigmaT, and the covariance matrix are shown to satisfy J Sigma JT below the required sigmaS target. The locked result is AXISERRORSMUSTCLOSETHESCOREBUDGET.
Nicky Joseph Hubertus Catharina Hacquier (Thu,) studied this question.