Fixed-sector contraction

The contraction hypothesis is on carrier states. It is not automatically a contraction of ${\Lambda }_{x,s}\otimes {\mathrm{id}}_R$ on arbitrary referenced pairs, because an untouched reference can retain distinguishability. Channel implementation errors and carrier forgetting are different budgets.

For two bounded generator sectors under a common input schedule,

This is the generator-interface record in Psy03-A and Psy02-B, not a GRU Jacobian theorem CheungPsy03A,CheungPsy02B. For discrete sequences, complete interval and instrument errors telescope and must all be charged.