Make finite converter cuts commute with serial composition

Relate a finite cut of serial converters to the serial composition of their finite cuts. For an outside horizon q, cut the outer converter at q and the inner converter at the outer query bound k(q).

Acceptance: prove equality of the existing canonical DDCs using their domain certificates and reply laws. Use it to align the finite serial attachment law; retain the original query costs and converter order.