Entropy needs its own comparison allowance

The dimension $L_k$ is the actual common comparison dimension, not automatically the ideal smaller Schmidt rank. If errors populate additional sectors, those sectors cannot be removed from the continuity allowance without a separate support estimate.

Compatible complete preparation, evolution, collection, and implementation errors can be accumulated by replacing one channel factor at a time:

CPTP contraction proves this telescoping bound. It does not convert a scalar occupation or metric error into a diamond allowance. This partition of hypotheses is emphasized in Cheung's Hawk04-D CheungHawk04D.