DCRP-24: Increment Young-Profile Fiber Completion and Covariance Rigidity

Corrects a consistency issue in the MORP extended-cost definition, completes the exterior-cylinder Young-profile theorem by filling in the infinite-dimensional fiber-escape defect it omitted, and proves a rigidity theorem for the covariance of the actual velocity-increment field.