3 Robust envelopes under measurement slack
The robust-energy manuscript (04_robust_energy) is a retirement candidate under the pivot, and this chapter is kept in a single file so that retiring it is a deletion rather than a dissection. Its subject is measurement slack in the embedding: the exposure bracket is inflated by per-asset embedding radii, and the resulting interval is maximized over a covariance box. The pivot absorbs its motivation directly. Slack is no longer an afterthought bolted onto an exact energy identity; it is the \(\tau _i\) of ??ass:random-common-map and enters the transfer theorems from the start. What genuinely does not duplicate is ??thm:box-corner, a weights-only maximization fact, and ??thm:ball-inclusion, which is the reconciliation between the two geometries and should be promoted into ??chap:random-exposure if the paper retires.