Remark: A repaired use of the benchmark swap

In Hawk02-D the destination source was vacuum, and the carrier became a fixed vacuum. That conclusion does not apply to the Euclidean-filtered source here. The carrier is generally not vacuum and is not removable from the residual ledger. Initial carrier independence alone does not establish its later joint independence.