F1: one selected composition route

A paired-distribution framework is not obtained merely by naming an excess. The selected route must establish its particular geometric matching before a paired symbol theorem can be used. The Melrose–Uhlmann framework is the intended comparison, not an extension theorem whose hypotheses are assumed MU.