Conditional compactness without an LP claim

Let ${\mathcal{K}}_{N,\nu }$ be the family of all finite tuples of continuous branch maps satisfying this modulus, positivity, rank at most one, normalization of their traces, the empty-readout convention, and relabeling equivariance.