Extend the individual minus functional by zero on the other primal endpoint and both channel blocks, and descend through the actual barred quotient. Multiply it by an arbitrary allowed channel vector. All other endpoint responses vanish; the rank-one identity reads the plus contraction.